@inproceedings{orso-etal-fse2004,
 author = {Orso, Alessandro and Shi, Nanjuan and Harrold, Mary Jean},
 title = {Scaling regression testing to large software systems},
 booktitle = {Proc. of FSE},
 year = {2004},
 }


@inproceedings{brett-fse2007,
 author = {Daniel, Brett and Dig, Danny and Garcia, Kely and Marinov, Darko},
 title = {Automated testing of refactoring engines},
 booktitle = {ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering},
 year = {2007},
 isbn = {978-1-59593-811-4},
 pages = {185--194},
 location = {Dubrovnik, Croatia},
 doi = {http://doi.acm.org/10.1145/1287624.1287651},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@inproceedings{weissgerber-etal-2006,
 author = {Weissgerber, Peter and Diehl, Stephan},
 title = {Identifying Refactorings from Source-Code Changes},
 booktitle = {Proc. of ASE},
 year = {2006}
 }


@inproceedings{miryung-etal-2007,
 author = {Kim, Miryung and Notkin, David and Grossman, Dan},
 title = {Automatic Inference of Structural Changes for Matching across Program Versions},
 booktitle = {Proc. of ICSE},
 year = {2007},
 }


@inproceedings{dannydig-etal-2006,
  author    = {Danny Dig and
               Can Comertoglu and
               Darko Marinov and
               Ralph Johnson},
  title     = {Automated Detection of Refactorings in Evolving Components},
  booktitle = {Proc. of ECOOP},
  year      = {2006},
}


@inproceedings{baah-etal-issta2008,
 author = {Baah, George K. and Podgurski, Andy and Harrold, Mary Jean},
 title = {The probabilistic program dependence graph and its application to fault diagnosis},
 booktitle = {Proc. of ISSTA},
 year = {2008},
 isbn = {978-1-60558-050-0},
 doi = {http://doi.acm.org/10.1145/1390630.1390654},
 }


@article{renieris-ase2003,
author = {Manos Renieris and Steven P. Reiss},
title = {Fault Localization With Nearest Neighbor Queries},
journal ={Proc. of ASE},
year = {2003},
}


@inproceedings{liblit-etal-pldi2005,
 author = {Liblit, Ben and Naik, Mayur and Zheng, Alice X. and Aiken, Alex and Jordan, Michael I.},
 title = {Scalable statistical bug isolation},
 booktitle = {Proc. of PLDI},
 year = {2005},
 }


@inproceedings{jjones-etal-ase2005,
 author = {Jones, James A. and Harrold, Mary Jean},
 title = {Empirical evaluation of the tarantula automatic fault-localization technique},
 booktitle = {Proc. of ASE},
 year = {2005},
 isbn = {1-59593-993-4},
 }


@inproceedings{abreu-etal-taicpart2007,
 author = {Abreu, Rui and Zoeteweij, Peter and van Gemund, Arjan J. C.},
 title = {On the Accuracy of Spectrum-based Fault Localization},
 booktitle = {Proc. of TAICPART-MUT.\Comment{: Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION}},
 year = {2007},
 isbn = {0-7695-2984-4}
 }


@inproceedings{santelices-etal-icse2009,
  author    = {Ra{\'u}l A. Santelices and
               James A. Jones and
               Yanbing Yu and
               Mary Jean Harrold},
  title     = {Lightweight fault-localization using multiple coverage types},
  booktitle = {ICSE},
  year      = {2009},
}


@book{witten-frank-2005,
 author = {Ian Witten and Eibe Frank},
 title = {Data Mining: Practical Machine Learning Tools and Techniques},
 year = {2005},
 isbn = {0-12-088407-0},
 publisher = {Morgan Kaufmann}
 }


@inproceedings{kuhn-etal-2008,
  author    = {Adrian Kuhn and
               Bart Van Rompaey and
               Lea Haensenberger and
               Oscar Nierstrasz and
               Serge Demeyer and
               Markus G{\"a}lli and
               Koenraad Van Leemput},
  title     = {JExample: Exploiting Dependencies between Tests to Improve
               Defect Localization},
  booktitle = {XP},
  year      = {2008},
  pages     = {73-82},
  ee        = {http://dx.doi.org/10.1007/978-3-540-68255-4_8},
}

@inproceedings{jones-etal-2007,
 author = {James Jones and James Bowring and Mary Jean Harrold},
 title = {Debugging in Parallel},
 booktitle = {Proc. of ISSTA},
 year = {2007},
 isbn = {978-1-59593-734-6},
 doi = {http://doi.acm.org/10.1145/1273463.1273468},
 }


@inproceedings{dallmeier-etal-2005,
  author    = {Valentin Dallmeier and
               Christian Lindig and
               Andreas Zeller},
  title     = {Lightweight Defect Localization for {Java}},
  booktitle = {Proc. of ECOOP},
  year      = {2005},
  ee        = {http://dx.doi.org/10.1007/11531142_23},
}

@article{boehm-2001,
 author = {Boehm, Barry and Basili, Victor R.},
 title = {Software Defect Reduction Top 10 List},
 journal = {Computer},
 volume = {34},
 number = {1},
 year = {2001},
 issn = {0018-9162},
 pages = {135--137},
 doi = {http://dx.doi.org/10.1109/2.962984},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@Article{weiss-1979,
 author =      "David Weiss",
 journal =     "Journal of Systems and Software",
 month =       June,
 number =      "2",
 volume =      "1",
 pages =       "57-70",
 title =       "Evaluating Software Development by Error Analysis: The Data from the Architecture Research Facility",
 year =        "1979"
}

@article{ostrand-etal-1984,
 author = {Ostrand, Thomas J. and Weyuker, Elaine J.},
 title = {Collecting and categorizing software error data in an industrial environment},
 journal = {J. Syst. Softw.},
 volume = {4},
 number = {4},
 year = {1984},
 issn = {0164-1212},
 pages = {289--300},
 doi = {http://dx.doi.org/10.1016/0164-1212(84)90028-1},
 publisher = {Elsevier Science Inc.},
 address = {New York, NY, USA},
 }



@inproceedings{zheng-icml2006,
 author = {Zheng, Alice X. and Jordan, Michael I. and Liblit, Ben and Naik, Mayur and Aiken, Alex},
 title = {Statistical debugging: Simultaneous identification of multiple bugs},
 booktitle = {Proc. of ICML},
 year = {2006},
 }


@InProceedings{cleve-icse2005,
 title =       "Locating causes of program failures",
 author =      "Holger Cleve and Andreas Zeller",
 booktitle =   "Proc. of ICSE",
 booktitle =   "Proc. of ICSE",
 year =        "2005",
}

@Article{zeller-tse2002,
 author =      "Andreas Zeller and Ralf Hildebrandt",
 journal =     "IEEE Transactions on Software Engineering",
 month =       feb,
 number =      "2",
 pages =       "183--200",
 title =       "Simplifying and Isolating Failure-Inducing Input",
 volume =      "SE-28",
 year =        "2002"
}

@inproceedings{ness-compsac-97,
author = {Brian Ness and Viet Ngo},
title = {Regression Containment through Source Change Isolation},
booktitle = {COMPSAC '97: Proceedings of the 21st International Computer Software and Applications Conference},
year = {1997},
isbn = {0-8186-8105-5},
pages = {616-621},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}

@article{wang-toplas-2008,
 author = {Tao Wang and Abhik Roychoudhury},
 title = {Dynamic slicing on Java bytecode traces},
 journal = {ACM Transactions on Programming Languages and Systems},
 volume = {30},
 number = {2},
 year = {2008},
 issn = {0164-0925},
 pages = {1--49},
 doi = {http://doi.acm.org/10.1145/1330017.1330021},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{groce-icse07,
 author = {Alex Groce and Gerard Holzmann and Rajeev Joshi},
 title = {Randomized Differential Testing as a Prelude to Formal Verification},
 booktitle = {Proc. of ICSE},
 year = {2007},
 isbn = {0-7695-2828-7},
 doi = {http://dx.doi.org/10.1109/ICSE.2007.68},
 }

@inproceedings{evans-fse07,
 author = {Robert B. Evans and Alberto Savoia},
 title = {Differential testing: a new approach to change detection},
 booktitle = {Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering (ESEC/FSE)},
 year = {2007},
 isbn = {978-1-59593-811-4},
 pages = {549--552},
 location = {Dubrovnik, Croatia},
 doi = {http://doi.acm.org/10.1145/1287624.1287707},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@ARTICLE{xie05:checking,
    author = {Tao Xie and David Notkin},
    title = {Checking Inside the Black Box: Regression Testing By Comparing Value Spectra},
    journal = {IEEE Transactions on Software Engineering},
    year = {2005},
    volume = {31},
    number = {10},
    month = {October},
    pages = {869--883},
    url = {http://www.csc.ncsu.edu/faculty/xie/publications/tse-icsm04-spectra.pdf},
}

@inproceedings{delta-debugging-eclipse,
author = {Philipp Bouillon and Martin Burger and Andreas Zeller},
title = {Automated debugging in Eclipse: (at the touch of not even a button)},
booktitle = {Proceedings of the OOPSLA workshop on eclipse technology eXchange},
year = {2003},
pages = {1--5},
location = {Anaheim, California},
doi = {http://doi.acm.org/10.1145/965660.965661},
publisher = {ACM},
address = {New York, NY, USA},
}


@book{experimentation-se-2000,
 author = {Claes Wohlin and Per Runeso and Martin Host and Magnus C. Ohlsson and Bjorn Regnell and Anders Wesslen},
 title = {Experimentation in Software Engineering: An Introduction},
 year = {2000},
 isbn = {978-0-7923-8682-7},
 publisher = {Springer}
 }


@book{zeller-debugging,
 author = {Andreas Zeller},
 title = {Why Programs Fail: A Guide to Systematic Debugging},
 year = {2005},
 isbn = {978-1558608665},
 publisher = {Morgan Kaufmann}
 }


@article{zhang-gupta-FSE05,
 author = {Xiangyu Zhang and Rajiv Gupta},
 title = {Matching execution histories of program versions},
 journal = {SIGSOFT Software Engineering Notes},
 volume = {30},
 number = {5},
 year = {2005},
 issn = {0163-5948},
 pages = {197--206},
 doi = {http://doi.acm.org/10.1145/1095430.1081738},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@ARTICLE{gupta-zhang-madou-sutter-icsm07,
title={Matching Control Flow of Program Versions},
author={Nagarajan, V. and Gupta, R. and Xiangyu Zhang and Madou, M. and De Sutter, B.},
journal={IEEE International Conference on Software Maintenance (ICSM)},
year={2-5 Oct. 2007},
volume={},
number={},
pages={84-93},
keywords={computer crime, program debugging, software maintenance, aggressive control flow transformations, call graph, comprehensive dynamic matching algorithm, matching control flow, piracy detection, program versions, software debugging, software maintenance},
doi={10.1109/ICSM.2007.4362621},
ISSN={1063-6773}, }

@inproceedings{ramanathan-grama-jagannathan-ase06,
 author = {Murali Krishna Ramanathan and Ananth Grama and Suresh Jagannathan},
 title = {Sieve: A Tool for Automatically Detecting Variations Across Program Versions},
 booktitle = {Proc. of ASE},
 year = {2006},
 }

@inproceedings{ren-ryder-stoerzer-tip-icse05,
 author = {Xiaoxia Ren and Barbara G. Ryder and Maximilian Stoerzer and Frank Tip},
 title = {Chianti: A change impact analysis tool for {Java} programs},
 booktitle = {Proc. of ICSE},
 year = {2005},
 }

@inproceedings{saff-ernst-04,
 author = {David Saff and Michael D. Ernst},
 title = {An experimental evaluation of continuous testing during development},
 booktitle = {Proc. of ISSTA},
 year = {2004},
 }


@proceedings{ball-2006-dagstuhl,
  editor    = {Thomas Ball and
               Stephan Diehl and
               David Notkin and
               Andreas Zeller},
  title     = {Multi-Version Program Analysis, 26. June - 1. July 2005},
  booktitle = {Multi-Version Program Analysis},
  publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r
               Informatik (IBFI), Schloss Dagstuhl, Germany},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {05261},
  year      = {2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{kim2006,
 author = {Miryung Kim and David Notkin},
 title = {Program element matching for multi-version program analyses},
 booktitle = {Proc. of Workshop on Mining Software Repositories},
 year = {2006},
 }

@article{distilling-2007,
author = {Beat Fluri and Michael Wuersch and Martin PInzger and Harald Gall},
title = {Change Distilling:Tree Differencing for Fine-Grained Source Code Change Extraction},
journal = {IEEE Transactions on Software Engineering},
volume = {33},
number = {11},
year = {2007},
issn = {0098-5589},
pages = {725-743},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70731},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@INPROCEEDINGS{harald-cav-2004,
AUTHOR = {Harald Ganzinger and George Hagen and Robert Nieuwenhuis and Albert Oliveras and Cesare Tinelli},
EDITOR = {Alur, Rajeev and Peled, Doron},
TITLE = {{DPLL(T)}: Fast Decision Procedures},
BOOKTITLE = {Computer aided verification : 16th International Conference, CAV 2004},
PUBLISHER = {Springer},
YEAR = {2004},
VOLUME = {3114},
PAGES = {175--188},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Boston, Massachusetts},
ISBN = {3-540-22342-8},
}

@InCollection\{benhamou-2006,
  author       = "Frederic Benhamou and Laurent Granvilliers",
  title        = "Continuous and Interval Constraints",
  booktitle    = "Handbook of Constraint Programming",
  chapter      = "16",
  series       = "Foundations of Artificial Intelligence",
  year         = "2006",
  editor       = "Rossi, Francesca and {van Beek}, Peter and Walsh, Toby",
  publisher    = "Elsevier Science Publishers",
  address      = "Amsterdam, The Netherlands",
  url          = "http://www.lina.sciences.univ-nantes.fr/Publications/2006/BG06"
}


@inproceedings{bozzano05sebastiani_lal,
author = {Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Tommi Junttila and Peter van Rossum and Stephan Schulz and Roberto Sebastiani},
booktitle = {TACAS},
citeulike-article-id = {565802},
keywords = {lal, mathsat},
pages = {317--333},
priority = {0},
title = {An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic.},
year = {2005}
}

@article{franzle-jsat-2007,
 author = {Martin Franzle and Cristian Herde and Tino Teige and Stefan Ratschan and Tobias Schubert},
 title = {Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure},
 journal = {Journal on Satisfiability, Boolean Modeling and Computation},
 volume = {1},
 number = {?},
 year = {2007},
 issn = {},
 pages = {209--236},
 doi = {},
 publisher = {},
 address = {},
 }

@inproceedings{bauer-date-2007,
 author = {Andreas Bauer and Markus Pister and Michael Tautschnig},
 title = {Tool-support for the analysis of hybrid systems and models},
 booktitle = {DATE '07: Proceedings of the conference on Design, automation and test in Europe},
 year = {2007},
 isbn = {978-3-9810801-2-4},
 pages = {924--929},
 location = {Nice, France},
 publisher = {EDA Consortium},
 address = {San Jose, CA, USA},
 }

@inproceedings{sen:icse2007,
 author = {Rupak Majumdar and Koushik Sen},
 title = {Hybrid Concolic Testing},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2007},
 isbn = {0-7695-2828-7},
 pages = {416--426},
 doi = {http://dx.doi.org/10.1109/ICSE.2007.41},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }


%% added during thesis writing
@article{davis:cacam1962,
 author = {Martin Davis and George Logemann and Donald Loveland},
 title = {A machine program for theorem-proving},
 journal = {Communications of ACM},
 volume = {5},
 number = {7},
 year = {1962},
 issn = {0001-0782},
 pages = {394--397},
 doi = {http://doi.acm.org/10.1145/368273.368557},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{sen:cav2006,
  author    = {Koushik Sen and
               Gul Agha},
  title     = {{CUTE} and {jCUTE}: Concolic Unit Testing and Explicit Path
               Model-Checking Tools},
  booktitle = {CAV},
  year      = {2006},
  pages     = {419-423}
}

%%ee        = {http://dx.doi.org/10.1007/11817963_38},
%%crossref  = {DBLP:conf/cav/2006},
%%bibsource = {DBLP, http://dblp.uni-trier.de}


@inproceedings{pacheco:icse2007,
 author = {Carlos Pacheco and Shuvendu K. Lahiri and Michael D. Ernst and Thomas Ball},
 title = {Feedback-Directed Random Test Generation},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2007},
 isbn = {0-7695-2828-7},
 pages = {75--84},
 doi = {http://dx.doi.org/10.1109/ICSE.2007.37},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{damorim:issta2007,
 author = {Marcelo d'Amorim and Steven Lauterburg and Darko Marinov},
 title = {Delta execution for efficient state-space exploration of object-oriented programs},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
 year = {2007},
 isbn = {978-1-59593-734-6},
 pages = {50--60},
 location = {London, United Kingdom},
 doi = {http://doi.acm.org/10.1145/1273463.1273472},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{valmari:por-90,
 author = {Antti Valmari},
 title = {A Stubborn Attack On State Explosion},
 booktitle = {Proceedings of the International Workshop on Computer Aided Verification},
 year = {1991},
 isbn = {3-540-54477-1},
 pages = {156--165},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@inproceedings{cousot-cousot77-1,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Abstract interpretation: a unified lattice model for static 
                analysis of programs by construction or approximation of 
                fixpoints},
   pages =     {238--252},
   booktitle = {Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT 
                Symposium on Principles of Programming Languages},
   address =   {Los Angeles, California},
   publisher = {ACM Press, New York, NY},
   year =      1977,
}

@inproceedings{katz:por-1989,
 author = {Shmuel Katz and Doron Peled},
 title = {An efficient verification method for parallel and distributed programs},
 booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop},
 year = {1989},
 isbn = {3-540-51080-X},
 pages = {489--507},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }



@article{german:por-1992,
 author = {Steven M. German and A. Prasad Sistla},
 title = {Reasoning about systems with many processes},
 journal = {Journal of the ACM},
 volume = {39},
 number = {3},
 year = {1992},
 issn = {0004-5411},
 pages = {675--735},
 doi = {http://doi.acm.org/10.1145/146637.146681},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }


@article{huber:symmetry-petri-nets-1984,
 author = {P. Huber and A. M. Jensen and L. O. Jepsen and K. Jensen},
 title = {Towards reachability trees for high-level Petri nets},
 book = {Advances in Petri Nets},
 year = {1985},
 isbn = {0-387-15204-0},
 pages = {215--233},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@article{clarke:symmetry-1996,
 author = {E. M. Clarke and R. Enders and T. Filkorn and S. Jha},
 title = {Exploiting symmetry in temporal logic model checking},
 journal = {Form. Methods Syst. Des.},
 volume = {9},
 number = {1-2},
 year = {1996},
 issn = {0925-9856},
 pages = {77--104},
 doi = {http://dx.doi.org/10.1007/BF00625969},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 }

@article{ip:symmetry-1996,
 author = {C. Norris Ip and David L. Dill},
 title = {Better verification through symmetry},
 journal = {Formal Methods in System Design},
 volume = {9},
 number = {1-2},
 year = {1996},
 issn = {0925-9856},
 pages = {41--75},
 doi = {http://dx.doi.org/10.1007/BF00625968},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 }

@article{emerson:symmetry-1996,
 author = {E. Allen Emerson and A. Prasad Sistla},
 title = {Symmetry and model checking},
 journal = {Formal Methods in System Design},
 volume = {9},
 number = {1-2},
 year = {1996},
 issn = {0925-9856},
 pages = {105--131},
 doi = {http://dx.doi.org/10.1007/BF00625970},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 }

@article{dijkstra:dphilosophers-1971,
  author    = {Edsger W. Dijkstra},
  title     = {Hierarchical Ordering of Sequential Processes},
  journal   = {Acta Informatica},
  volume    = {1},
  year      = {1971},
  pages     = {115-138},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{hatcliff:slicing-journal-2000,
 author = {John Hatcliff and Matthew B. Dwyer and Hongjun Zheng},
 title = {Slicing Software for Model Construction},
 journal = {Higher Order and Symbolic Computation},
 volume = {13},
 number = {4},
 year = {2000},
 issn = {1388-3690},
 pages = {315--353},
 doi = {http://dx.doi.org/10.1023/A:1026599015809},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 }

@inproceedings{boyapati:oopsla2002,
 author = {Chandrasekhar Boyapati and Robert Lee and Martin Rinard},
 title = {Ownership types for safe programming: preventing data races and deadlocks},
 booktitle = {Proceedings of the ACM SIGPLAN Sonference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)},
 year = {2002},
 isbn = {1-58113-471-1},
 pages = {211--230},
 location = {Seattle, Washington, USA},
 doi = {http://doi.acm.org/10.1145/582419.582440},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{flanagan:pldi2003,
 author = {Cormac Flanagan and Shaz Qadeer},
 title = {A Type and Effect System for Atomicity},
 booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
 year = {2003},
 isbn = {1-58113-662-5},
 pages = {338--349},
 location = {San Diego, California, USA},
 doi = {http://doi.acm.org/10.1145/781131.781169},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{savage:eraser1997,
 author = {Stefan Savage and Michael Burrows and Greg Nelson and Patrick Sobalvarro and Thomas Anderson},
 title = {Eraser: a dynamic data race detector for multithreaded programs},
 journal = {ACM Transactions on Computer Systems},
 volume = {15},
 number = {4},
 year = {1997},
 issn = {0734-2071},
 pages = {391--411},
 doi = {http://doi.acm.org/10.1145/265924.265927},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{wang:runtime-analysis-atomicity-2006,
 author = {Liqiang Wang and Scott D. Stoller},
 title = {Runtime Analysis of Atomicity for Multithreaded Programs},
 journal = {IEEE Transactions on Software Engeneering},
 volume = {32},
 number = {2},
 year = {2006},
 issn = {0098-5589},
 pages = {93--110},
 doi = {http://dx.doi.org/10.1109/TSE.2006.1599419},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }

@article{akers:binary-decision-diagrams-1978,
  author    = {Sheldon B. Akers},
  title     = {Binary Decision Diagrams.},
  journal   = {IEEE Transactions on Computers},
  volume    = {27},
  number    = {6},
  year      = {1978},
  pages     = {509-516},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{bollig:variable-ordering-obdds-1996,
 author = {Beate Bollig and Ingo Wegener},
 title = {Improving the Variable Ordering of OBDDs Is NP-Complete},
 journal = {IEEE Transactions on Computers},
 volume = {45},
 number = {9},
 year = {1996},
 issn = {0018-9340},
 pages = {993--1002},
 doi = {http://dx.doi.org/10.1109/12.537122},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@book{jones:partial-evaluation-1993,
 author = {Neil D. Jones and Carsten K. Gomard and Peter Sestoft},
 title = {Partial evaluation and automatic program generation},
 year = {1993},
 isbn = {0-13-020249-5},
 publisher = {Prentice-Hall, Inc.},
 address = {Upper Saddle River, NJ, USA},
 }

@inproceedings{carving-elbaum-2006,
 author = {Sebastian Elbaum and Hui Nee Chin and Matthew B. Dwyer and Jonathan Dokulil},
 title = {Carving differential unit test cases from system test cases},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2006},
 isbn = {1-59593-468-5},
 pages = {253--264},
 location = {Portland, Oregon, USA},
 doi = {http://doi.acm.org/10.1145/1181775.1181806},
 publisher = {ACM Press},
 address = {New York, NY, USA},
}

@inbook{model-checking-csp,
 author = {A. W. Roscoe},
 chapter = {Model {C}hecking {CSP}},
 title = {A classical mind: essays in honour of C. A. R. Hoare},
 year = 1994,
 isbn = {0-13-294844-3},
 pages = {353--378},
 publisher = {Prentice Hall International (UK) Ltd.},
 address = {Hertfordshire, UK},
}

@inproceedings{slicingJVM:hatcliff1999,
 author = {John Hatcliff and James C. Corbett and Matthew B. Dwyer and Stefan Sokolowski and Hongjun Zheng},
 title = {A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives},
 booktitle = {Proceedings of the 6th International Symposium on Static Analysis (SAS)},
 year = {1999},
 isbn = {3-540-66459-9},
 pages = {1--18},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }


@article{csp:hoare1978,
 author = {C. A. R. Hoare},
 title = {Communicating sequential processes},
 journal = {Communications of ACM},
 volume = {21},
 number = {8},
 year = {1978},
 issn = {0001-0782},
 pages = {666--677},
 doi = {http://doi.acm.org/10.1145/359576.359585},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{model-checking-cspz:mota2001,
 author = {Alexandre Mota and Augusto Sampaio},
 title = {Model checking {CSP-Z}: strategy, tool support and industrial application},
 journal = {Science of Computer Programming},
 volume = {40},
 number = {1},
 year = {2001},
 issn = {0167-6423},
 pages = {59--96},
 doi = {http://dx.doi.org/10.1016/S0167-6423(00)00023-X},
 publisher = {Elsevier North-Holland, Inc.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }


@article{compositionalHardware:mcMillan2000,
  author    = {Kenneth L. McMillan},
  title     = {A methodology for hardware verification using compositional
               model checking.},
  journal   = {Science of Computer Programming},
  volume    = {37},
  number    = {1-3},
  year      = {2000},
  pages     = {279-309},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{future+bus:clarke1995,
  author    = {Edmund M. Clarke and
               Orna Grumberg and
               Hiromi Hiraishi and
               Somesh Jha and
               David E. Long and
               Kenneth L. McMillan and
               Linda A. Ness},
  title     = {Verification of the Futurebus+ Cache Coherence Protocol.},
  journal   = {Formal Methods in System Design},
  volume    = {6},
  number    = {2},
  year      = {1995},
  pages     = {217-232},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{gunter-semantics1992,
 author = {Carl A. Gunter},
 title = {Semantics of programming languages: structures and techniques},
 year = {1992},
 isbn = {0-262-07143-6},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
 }

@book{winskel-semantics-1993,
 author = {Glynn Winskel},
 title = {The formal semantics of programming languages: an introduction},
 year = {1993},
 isbn = {0-262-23169-7},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
 }

@ARTICLE{bhargavan,
  author = {K. Bhargavan and D. Obradovic and C. A. Gunter},
  title = {Formal verification of standards for distance vector routing protocols},
  journal = {Journal of the ACM},
  month = {July},
  year = {2002},
  volume = {49},
  pages = {538--576},
  number = {4},
  publisher = {ACM Press},
}

@TECHREPORT{sobeih-techReportJul04,
  author = {Ahmed Sobeih and Mahesh Viswanathan and Jennifer C. Hou},
  title = {Incorporating Bounded Model Checking in Network Simulation: Theory, Implementation and Evaluation},
  institution = {Department of Computer Science, University of Illinois at Urbana-Champaign},
  month = {July},
  year = {2004},
  type = {Technical Report},
  number = {UIUCDCS-R-2004-2466},
  address = {Urbana, Illinois},
}

@PHDTHESIS{tyan:02,
  author = {H.-Y. Tyan},
  title = {Design, Realization and Evaluation of a Component-based Compositional Software Architecture for Network Simulation},
  school = {Department of Electrical Engineering, The Ohio State University},
  year = {2002},
  type = {{Ph.D.}},
}

@article{boehm-risk-1991,
 author = {Barry W. Boehm},
 title = {Software Risk Management: Principles and Practices},
 journal = {IEEE Software},
 volume = {8},
 number = {1},
 year = {1991},
 issn = {0740-7459},
 pages = {32--41},
 doi = {http://dx.doi.org/10.1109/52.62930},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }


@book{manna-temp-logic-spec,
 author = {Zohar Manna and Amir Pnueli},
 title = {The Temporal Logic of Reactive and Concurrent Systems: Specification},
 year = {1991},
 isbn = {0387976647},
 publisher = {Springer}
}


@article{burch94symbolic,
    author = "{J.R. Burch} and {E.M. Clarke} and {D.E. Long} and {K.L. MacMillan} and {D.L. Dill}",
    title = "Symbolic Model Checking for Sequential Circuit Verification",
    journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",
    volume = "13",
    number = "4",
    pages = "401--424",
    year = "1994",
    url = "citeseer.ist.psu.edu/burch93symbolic.html" 
}

@inproceedings{burch91symbolic,
    author = "{J.R. Burch} and {E.M. Clarke} and {D.E. Long}",
    title = "Symbolic Model Checking with Partitioned Transition Relations",
    booktitle = "Proceedings of the International Conference on Very Large Scale Integration",
    publisher = "North-Holland",
    address = "Edinburgh, Scotland",
    editor = "{A. Halaas} and {P.B. Denyer}",
    pages = "49--58",
    year = "1991",
    url = "citeseer.ist.psu.edu/burch91symbolic.html" 
}

@article{lattice-theorems-tarski-55,
 author = {Alfred Tarski},
 title = {A lattice-theoretical fixpoint theorem and its applications},
 journal = {Pacific Journal of Mathematics},
 volume = {5},
 number = {2},
 year = {1955},
 pages = {285--309},
}

%% issn = {0001-0782},
%% doi = {http://doi.acm.org/10.1145/360933.360975},
%% publisher = {ACM Press},
%% address = {New York, NY, USA},

@inproceedings{scaffidi-05,
 author = {Christopher Scaffidi and Mary Shaw and Brad Myers},
 title = {Estimating the Numbers of End Users and End User Programmers},
 booktitle = {Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VLHCC)},
 year = {2005},
 isbn = {0-7695-2443-5},
 pages = {207--214},
 doi = {http://dx.doi.org/10.1109/VLHCC.2005.34},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}

@MISC{labor-statistics,
author = {Bureau of Labor Statistics},
title = {Current Population Survey
    (CPS).  Computer Ownership/Internet Usage Supplement. 2005},
note = {\newurl{http://www.census.gov/population/socdemo/computer}},
year = 2005
}

@article{dijkstra75-gcommands,
 author = {Edsger W. Dijkstra},
 title = {Guarded commands, nondeterminacy and formal derivation of programs},
 journal = {Communications of ACM},
 volume = {18},
 number = {8},
 year = {1975},
 issn = {0001-0782},
 pages = {453--457},
 doi = {http://doi.acm.org/10.1145/360933.360975},
 publisher = {ACM Press},
 address = {New York, NY, USA},
}

@inproceedings{nusmv,
 author = {Alessandro Cimatti and Edmund M. Clarke and Fausto Giunchiglia and Marco Roveri},
 title = {NUSMV: A New Symbolic Model Verifier},
 booktitle = {Proceedings of the International Conference on Computer Aided Verification (CAV)},
 year = {1999},
 isbn = {3-540-66202-2},
 pages = {495--499},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@book{godefroid-por-book,
 author = {Patrice Godefroid},
 editor = {J. van Leeuwen and J. Hartmanis and G. Goos},
 note = {Foreword By Pierre Wolper},
 title = {Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem},
 year = {1996},
 isbn = {3540607617},
 publisher = {Springer-Verlag New York, Inc.},
 address = {Secaucus, NJ, USA},
}

@inproceedings{arthogaroche06,
 author = {Cyrille Artho and Pierre-Loic Garoche},
 title = {Accurate Centralization for Applying Model Checking on Networked Applications},
 booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
 year = {2006},
 isbn = {0-7695-2579-2},
 pages = {177--188},
 doi = {http://dx.doi.org/10.1109/ASE.2006.10},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{penix-icse2000,
 author = {John Penix and Willem Visser and Eric Engstrom and Aaron Larson and Nicholas Weininger},
 title = {Verification of time partitioning in the {DEOS} scheduler kernel},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2000},
 isbn = {1-58113-206-9},
 pages = {488--497},
 location = {Limerick, Ireland},
 doi = {http://doi.acm.org/10.1145/337180.337364},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

%% from the tech report

@phdthesis{damorim:PhD,
   author = {Marcelo d'Amorim},
   title = {Efficient Explicit-State Model Checking of Programs with Dynamically-Allocated Data Structures},
   school = {University of Illinois at Urbana-Champaign},
   type = {{Ph.D.}},
   address = {Urbana, IL},
   month = {October},
   year = {2007}
}

@MISC{imageJ,
  title = {{ImageJ} webpage},
  title = {{ImageJ} web page},
  note = {\newurl{http://rsb.info.nih.gov/ij/index.html}},
}


@article{doESE05,
author    = {Hyunsook Do and
             Sebastian G. Elbaum and
             Gregg Rothermel},
title     = {Supporting Controlled Experimentation with Testing Techniques:
            An Infrastructure and its Potential Impact.},
journal   = {Empirical Software Engineering},
volume    = 10,
number    = 4,
pages     = {405--435},
year      = 2005,
}

@MISC{ant-web-page,
  title = {{Ant} webpage},
  title = {{Ant} web page},
  note = {\newurl{http://ant.apache.org/.}},
}


@MISC{jtopas-web-page,
  title = {{JTopas} webpage},
  title = {{JTopas} web page},
  note = {\newurl{http://jtopas.sourceforge.net.}},
}

@MISC{xml-security-webpage,
  title = {{XML-security} webpage},
  title = {{XML-security} web page},
  note = {\newurl{http://xml.apache.org/security.}},
}

@MISC{sir-web-page,
  title = {{SIR} webpage},
  title = {{SIR} web page},
  note = {\newurl{http://sir.unl.edu}},
}

@MISC{newton-square-root,
  title = {{Newton's square root} webpage},
  title = {{Newton's square root} web page},
  note = {\newurl{https://trac.videolan.org/skin-designer/browser/trunk/src}},
}


@MISC{bezier-web-site,
  title = {{Bezier} webpage},
  title = {{Bezier} web page},
  note = {\newurl{https://trac.videolan.org/skin-designer/browser/trunk/src}},
}

@MISC{cvc3-web-site,
  title = {{CVC3} webpage},
  title = {{CVC3} web page},
  note = {\newurl{http://www.cs.nyu.edu/acsys/cvc3/}},
}

@MISC{sat-competition,
  title = {{SAT} competition webpage},
  note = {\newurl{http://satcompetition.org}},
}


@MISC{jpf-web-site,
  title = {{J}ava {P}ath{F}inder webpage},
  note = {\newurl{http://javapathfinder.sourceforge.net}},
}

@MISC{jikes-rvm,
  title = {{J}ikes {RVM} webpage},
  note = {\newurl{http://jikesrvm.org/}},
}

@MISC{javaparser,
  title = {{J}apa {P}arser},
  note = {\newurl{http://code.google.com/p/javaparser/}},
}


@article{visser03model,
  title = {Model Checking Programs},
  author = {Willem Visser and Klaus Havelund and Guillaume Brat and Seungjoon Park and Flavio Lerda},
  journal = {Automated Software Engineering},
  month = {April},
  number = {2},
  pages = {203--232},
  url = {http://dx.doi.org/10.1023/A:1022920129859},
  volume = {10},
  year = {2003},
  doi = {10.1023/A:1022920129859}, citeulike-article-id = {1188784}, priority = {2},
  keywords = {2003 java model_checking }
} 

@InProceedings{Rugina04QuantitativeShapeAnalysis,
  author    = {Radu Rugina},
  title     = {Shape Analysis Quantitative Shape Analysis.},
  booktitle = {Proceedings of the Static Analysis Symposium (SAS)},
  year      = {2004},
  pages     = {228-245},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3148{\&}spage=228},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@InProceedings{YorshETAL04TVLA,
  author    = {Greta Yorsh and
               Thomas W. Reps and
               Shmuel Sagiv},
  title     = {Symbolically Computing Most-Precise Abstract Operations
               for Shape Analysis.},
  booktitle = {Proceedings of the International Conference on
     Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  year      = {2004},
  pages     = {530-545},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2988{\&}spage=530},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@InProceedings{KuncakETAL02RoleAnalysis,
 author = {Viktor Kuncak and Patrick Lam and Martin Rinard},
 title = {Role analysis},
 booktitle = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
 year = {2002},
 isbn = {1-58113-450-9},
 pages = {17--32},
 }

% location = {Portland, Oregon},
% doi = {http://doi.acm.org/10.1145/503272.503276},
% publisher = {ACM Press},
% address = {New York, NY, USA},


@TECHREPORT{delta-exec-tech-report,
  author = {Marcelo d'Amorim and Steven Lauterburg and Darko Marinov},
  title = {Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs},
  institution = {University of Illinois},
  month = {April},
  year = {2007},
  type = {Technical Report},
  number = {UIUCDCS-R-2007-2844},
  address = {Urbana, IL},
}

@INPROCEEDINGS{wmcsa:99,
  author = {Charles E. Perkins and Elizabeth M. Royer},
  title = {Ad-hoc on-demand distance vector routing},
  booktitle = {Proceedings of the IEEE Workshop on Mobile Computing Systems and Applications (WMCSA)},
  year = {1999},
  pages = {90--100},
  publisher = {IEEE Computer Society Press},
}

@MISC{ecl-found,
  title = {Eclipse foundation},
  note = {\newurl{http://www.eclipse.org/}},
  key = {Eclipse},
}

@MISC{jsim-simulator,
  title = {J-{S}im},
  note = {\newurl{http://www.j-sim.org/}},
  key = {J-Sim}
}

@inproceedings{zhou-hotdep:2007,
  author = {Yuanyuan Zhou and Darko Marinov and William Sanders and Craig Zilles and Marcelo d'Amorim and Steven Lauterburg and Ryan M. Lefever and Joe Tucek},
  title = {Delta Execution for Software Reliability},
  booktitle = {Workshop on Hot Topics in System Dependability (HotDep)},
  year = {2007},
  note = {}
}

@inproceedings{artho04:efficient-dynamic-analysis,
  author    = {Cyrille Artho and
               Viktor Schuppan and
               Armin Biere and
               Pascal Eugster and
               Marcel Baur and
               Boris Zweim{\"u}ller},
  title     = {JNuke: Efficient Dynamic Analysis for Java.},
  booktitle = {Proceedings of the International Conference on Computer Aided Verification (CAV)},
  year      = {2004},
  pages     = {462-465},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3114{\&}spage=462},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%%  crossref  = {DBLP:conf/cav/2004},

@BOOK{friedman01:essentials-programming-languages,
  title = {Essentials of Programming Languages},
  publisher = {MIT Press},
  year = {2001},
  author = {Daniel P. Friedman and Mitchell Wand and Christopher T. Haynes},
  isbn = {0-262-06217-8},
}

@inproceedings{damorim06:mixed-execution:icfem06,
 author = {Marcelo d'Amorim and Ahmed Sobeih and Darko Marinov},
 title = {Optimized Execution of Deterministic Blocks in {J}ava {P}ath{F}inder},
 booktitle = {Proceedings of International Conference on Formal Methods and Software Engineering (ICFEM)},
 year = {2006},
 pages = {549--567},
 volume = {4260},
 isbn = {978-3-540-47460-9},
 issn = {0302-9743},
 }

% location = {Macau, SAR},
% doi = {http://doi.acm.org/10.1007/11901433_30},
% publisher = {Springer Berlin / Heidelberg}


@inproceedings{cadar06:exe-input-death,
 author = {Cristian Cadar and Vijay Ganesh and Peter M. Pawlowski and David L. Dill and Dawson R. Engler},
 title = {{EXE}: {A}utomatically generating inputs of death},
 booktitle = {Proceedings of the ACM Conference on Computer and Communications Security (CCS)},
 year = {2006},
 isbn = {1-59593-518-5},
 pages = {322--335},
 }
%% location = {Alexandria, Virginia, USA},
%% doi = {http://doi.acm.org/10.1145/1180405.1180445},
%% publisher = {ACM Press},
%% address = {New York, NY, USA},


@inproceedings{whaley04:bddbddb-pldi,
 author = {John Whaley and Monica S. Lam},
 title = {Cloning-based context-sensitive pointer alias analysis using binary decision diagrams},
 booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
 year = {2004},
 isbn = {1-58113-807-5},
 pages = {131--144},
 }

% location = {Washington DC, USA},
% doi = {http://doi.acm.org/10.1145/996841.996859},
% publisher = {ACM Press},
% address = {New York, NY, USA},

@inproceedings{ondrej04:jedd-pldi,
 author = {Ondrej Lhotak and Laurie Hendren},
 title = {Jedd: a {BDD}-based relational extension of {J}ava},
 booktitle = {Proceedings of the ACM SIGPLAN 2004 conference on Programming Language Design and Implementation (PLDI)},
 year = {2004},
 isbn = {1-58113-807-5},
 pages = {158--169},
 location = {Washington DC, USA},
 doi = {http://doi.acm.org/10.1145/996841.996861},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{ball00bebop,
    author = "Thomas Ball and Sriram K. Rajamani",
    title = "Bebop: A Symbolic Model Checker for Boolean Programs",
    booktitle = "{Proceedings of the International SPIN Workshop on Model Checking of Software (SPIN)}",
    pages = "113--130",
    year = "2000",
    url = "citeseer.ist.psu.edu/ball00bebop.html"
}

@article{offutt99dynamic,
    author = "A. Jefferson Offutt and Zhenyi Jin and Jie Pan",
    title = "The dynamic domain reduction procedure for test data generation",
    journal = "Software - Practice and Experience",
    volume = "29",
    number = "2",
    pages = "167--193",
    year = "1999",
    url = "citeseer.ist.psu.edu/article/offutt97dynamic.html"
}

@inproceedings{iosif:exploiting-heap-symmetries,
 author = {Radu Iosif},
 title = {Exploiting Heap Symmetries in Explicit-State Model Checking of Software},
 booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
 year = {2001},
 pages = {254},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{randal-bryant:symbolic-model-checking,
 author = {Randal E. Bryant},
 title = {Symbolic Boolean manipulation with ordered binary-decision diagrams},
 journal = {ACM Computing Surveys},
 volume = {24},
 number = {3},
 year = {1992},
 issn = {0360-0300},
 pages = {293--318},
 doi = {http://doi.acm.org/10.1145/136035.136043},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }


@inproceedings{burch:symbolic-model-checking-10-20-beyond,
    author = "{J.R. Burch} and {E.M. Clarke} and {K.L. McMillan} and {D.L. Dill} and {L.J. Hwang}",
    title = "{S}ymbolic {M}odel {C}hecking: $10^{20}$ {S}tates and {B}eyond",
    booktitle = "Proceedings of the {IEEE} Symposium on Logic in Computer Science (LICS)",
    publisher = "IEEE Computer Society Press",
    address = "Washington, D.C.",
    pages = "1--33",
    year = "1990",
    url = "citeseer.ist.psu.edu/burch90symbolic.html"
}

@article{deMartini:deadlock-detection-jcat,
 author = {Claudio DeMartini and Radu Iosif and Riccardo Sisto},
 title = {A deadlock detection tool for concurrent Java programs},
 journal = {Software - Practice and Experience},
 volume = {29},
 number = {7},
 year = {1999},
 issn = {0038-0644},
 pages = {577--603},
 doi = {http://dx.doi.org/10.1002/(SICI)1097-024X(199906)29:7<577::AID-SPE246>3.0.CO;2-V},
 publisher = {John Wiley \& Sons, Inc.},
 address = {New York, NY, USA},
 }

@ARTICLE{havelund-pressburger:model-checking-java-programs,
author = "Klaus Havelund and Thomas Pressburger",
title = "Model Checking {J}ava Programs using {J}ava {P}ath{F}inder",
journal = {International Journal on Software Tools for Technology Transfer},
year = {1998},
volume = {2},
number = {4}
}

@inproceedings{damorim06:empirical-ase,
 author = {Marcelo d'Amorim and Carlos Pacheco and Tao Xie and Darko Marinov and Michael D. Ernst},
 title = {An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing},
 booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
 year = {2006},
 isbn = {0-7695-2579-2},
 pages = {59--68},
 doi = {http://dx.doi.org/10.1109/ASE.2006.13},
 }

%% publisher = {IEEE Computer Society},
%% address = {Washington, DC, USA},

@inproceedings{darga06:emc-data-structures-oopsla,
 author = {Paul T. Darga and Chandrasekhar Boyapati},
 title = {Efficient software model checking of data structure properties},
 booktitle = {Proceedings of the ACM SIGPLAN Sonference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)},
 year = {2006},
 isbn = {1-59593-348-4},
 pages = {363--382},
 }

% location = {Portland, Oregon, USA},
% doi = {http://doi.acm.org/10.1145/1167473.1167504},
% publisher = {ACM Press},
% address = {New York, NY, USA},

@inproceedings{clarke04:cbmc-tacas-tool,
  AUTHOR    = { Edmund Clarke
                and Daniel Kroening
                and Flavio Lerda },
  TITLE     = { A Tool for Checking {ANSI-C} Programs },
  BOOKTITLE = {Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  YEAR      = { 2004 },
  PAGES     = { 168--176 },
  SERIES    = { LNCS },
  VOLUME    = { 2988 }
}

@inproceedings{ball02:slam-project,
 author = {Thomas Ball and Sriram K. Rajamani},
 title = {The SLAM project: debugging system software via static analysis},
 booktitle = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
 year = {2002},
 isbn = {1-58113-450-9},
 pages = {1--3},
 location = {Portland, Oregon},
 doi = {http://doi.acm.org/10.1145/503272.503274},
 publisher = {ACM Press},
 address = {New York, NY},
 }

@inproceedings{ball01:automatic-validation-properties-interfaces,
 author = {Thomas Ball and Sriram K. Rajamani},
 title = {Automatically validating temporal safety properties of interfaces},
 booktitle = {Proceedings of the International SPIN Workshop on Model Checking of Software (SPIN)},
 year = {2001},
 isbn = {3-540-42124-6},
 pages = {103--122},
 location = {Toronto, Ontario, Canada},
 address = {New York, NY},
 }


@inproceedings{veanes05:online-testing,
 author = {Margus Veanes and Colin Campbell and Wolfram Schulte and Nikolai Tillmann},
 title = {Online testing with model programs},
 booktitle = {Proceedings of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
 year = {2005},
 isbn = {1-59593-014-0},
 pages = {273--282},
 location = {Lisbon, Portugal},
 doi = {http://doi.acm.org/10.1145/1081706.1081751},
 publisher = {ACM Press},
 address = {New York, NY},
}

@Manual{javancss:2010,
  organization = {JavaNCSS website},
  title =        {JavaNCSS - A Source Measurement Suite for Java},
  note =         {\newurl{http://www.kclee.de/clemens/java/javancss/}},
}

@Manual{jstat:2003,
  organization = {Sun Microsystems},
  title =        {jstat: Java Virtual Machine Statistics Monitoring Tool},
  note =         {\newurl{http://java.sun.com/j2se/1.5.0/docs/tooldocs/share/jstat.html}},
}

@Manual{Java2v1p3p1API,
  organization = {Sun Microsystems},
  title =        {Java 2 {P}latform, {S}tandard {E}dition, v1.3.1 {API} Specification},
  note =         {\newurl{http://java.sun.com/j2se/1.3/docs/api/}},
}

@Manual{Java2v5,
  organization = {Sun Microsystems},
  title =        {Java 2 {P}latform, {S}tandard {E}dition, v1.5.0 {API} Specification},
  note =         {\newurl{http://java.sun.com/j2se/1.5.0/docs/api/}},
}


@Manual{jvm-spec-1999,
  organization = {Sun Microsystems},
  title =        {Java Virtual Machine Specification},
  note =         {\newurl{http://java.sun.com/docs/books/jvms}},
}

@Manual{cbmc-cmu,
  organization = {CMU},
  title =        {CBMC website},
  note =         {\newurl{http://www.cs.cmu.edu/~modelcheck/cbmc/}},
}

@Book{javanutshell,
   author =   {D. Flanagan},
   title =   {Java In A Nutshell},
   publisher =   {O'Reilly},
   year =   {1997},
}

@inproceedings{visser06:test,
 author = {Willem Visser and Corina S. Pasareanu and Radek Pelanek},
 title = {Test input generation for {J}ava containers using state matching},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
 year = {2006},
 isbn = {1-59593-263-1},
 doi = {http://doi.acm.org/10.1145/1146238.1146243},
 pages = {37--48}
}

@MISC{jni-manual,
  authors = {Sheng Liang},
  title = {Java \textup{N}ative \textup{I}nterface: \textup{P}rogrammer's \textup{G}uide and \textup{S}pecification},
  howpublished = {Online book},
  note = {\newurl{http://java.sun.com/docs/books/jni/}},
}

@MISC{jpf-manual,
  author = {Peter C. Mehlitz and Willem Visser and John Penix},
  title = {The \textup{JPF} Runtime Verification System},
  howpublished = {Online manual},
  note = {\newurl{http://javapathfinder.sourceforge.net/JPF.pdf}},
}

@INPROCEEDINGS{visser05:ase,
  author = {Willem Visser and Corina S. Pasareanu and Radek Pelanek},
  title = {Test input generation for red-black trees using abstraction},
  booktitle = {Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  year = {2005},
  pages = {414--417},
  location = {Long Beach, CA},
}

@Inproceedings{javafan1,
   author =   {Azadeh Farzan and Feng Chen and Jose Meseguer and Grigore Rosu},
   title =   {Formal Analysis of \textup{J}ava Programs in \textup{J}ava\textup{FAN}},
   booktitle =   {Proceedings of the International Conference on Computer Aided Verification (CAV)},
   month = {July},
   year =   {2004}
}

@Inproceedings{javamc,
   author =  {D. Y.W. Park and U. Stern and J. U. Skakkeb{\ae}k and D. L. Dill},
   title =   {Java Model Checking},
   booktitle =   {Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE)},
   year =   {2000},
}

@Inproceedings{pathfinder1,
   author =  {K. Havelund},
   title =   {Java \textup{P}athFinder, A Translator from \textup{J}ava to \textup{P}romela},
   booktitle =   {Proceedings of the International SPIN Workshop on Model Checking of Software (SPIN)},
   year =   {1999},
}

@inproceedings{murphi,
  author    = {D. L. Dill and A. J. Drexler and A. J. Hu and C. H. Yang},
  title     = {Protocol verification as a hardware design aid},
  booktitle = {Proceedings of the IEEE International Conference on Computer Design (ICCD)},
  year      = {1992},
  pages     = {522-525},
}

@ARTICLE{spin,
  author = {G. J. Holzmann},
  title = {The model checker \textup{SPIN}},
  journal = {IEEE Transactions on Software Engineering},
  year = {1997},
  volume = {23},
  pages = {279--295},
  number = {5},
}

@inproceedings{musuvathi:05,
  author    = {Madanlal Musuvathi and David L. Dill},
  title     = {An Incremental Heap Canonicalization Algorithm},
  booktitle = {Proceedings of the International SPIN Workshop on Model Checking of Software (SPIN)},
  year      = {2005},
  pages     = {28-42},
  ee        = {http://dx.doi.org/10.1007/11537328_6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{musuvathi:04,
  author = {M. Musuvathi and D. Engler},
  title = {Model checking large network protocol implementations},
  booktitle = {Proceedings of the Symposium on Networked Systems Design and Implementation (NSDI)},
  pages     = {155--168},
  year = {2004},
}

@inproceedings{yang:04,
  author    = {Junfeng Yang and
               Paul Twohey and
               Dawson R. Engler and
               Madanlal Musuvathi},
  title     = {Using Model Checking to Find Serious File System Errors},
  booktitle = {Proceedings of the Symposium on Operating System Design and Implementation (OSDI)},
  year      = {2004},
  pages     = {273-288},
  ee        = {http://www.usenix.org/events/osdi04/tech/yang.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{lerda:01,
 author = {Flavio Lerda and Willem Visser},
 title = {Addressing dynamic issues of program model checking},
 booktitle = {Proceedings of the international {SPIN} workshop on Model checking of software (SPIN)},
 year = {2001},
 isbn = {3-540-42124-6},
 pages = {80--102},
 address = {Toronto, Canada}
}

@INPROCEEDINGS{tyan05:towards,
  author    = {Hung-Ying Tyan and
               Ahmed Sobeih and
               Jennifer C. Hou},
  title     = {Towards Composable and Extensible Network Simulation.},
  booktitle = {Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)},
  year      = {2005},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/IPDPS.2005.439},
  crossref  = {DBLP:conf/ipps/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ipps/2005,
  title     = {19th International Parallel and Distributed Processing Symposium
               (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April
               2005, Denver, CA},
  booktitle = {IPDPS},
  publisher = {IEEE Computer Society},
  year      = {2005},
  isbn      = {0-7695-2312-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{sobeih05:finding,
  author    = {Ahmed Sobeih and
               Mahesh Viswanathan and
               Darko Marinov and
               Jennifer C. Hou},
  title     = {Finding Bugs in Network Protocols Using Simulation Code
               and Protocol-Specific Heuristics.},
  booktitle = {Proceedings of the International Conference on Formal Engineering Methods (ICFEM)},
  year      = {2005},
  pages     = {235-250},
  ee        = {http://dx.doi.org/10.1007/11576280_17},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icfem/2005,
  editor    = {Kung-Kiu Lau and
               Richard Banach},
  title     = {Formal Methods and Software Engineering, 7th International
               Conference on Formal Engineering Methods, ICFEM 2005, Manchester,
               UK, November 1-4, 2005, Proceedings},
  booktitle = {Proceedings of the International Conference on Formal Engineering Methods (ICFEM)},
  series    = {LNCS},
  volume    = {3785},
  year      = {2005},
  isbn      = {3-540-29797-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@ARTICLE{abramson96:relative,
  author = {David Abramson and Ian Foster and John Michalakes and Rok Socic},
  title = {Relative debugging: a new methodology for debugging scientific applications},
  journal = {Communications of the ACM},
  year = {1996},
  volume = {39},
  pages = {69--77},
  number = {11},
  doi = {http://doi.acm.org/10.1145/240455.240475},
  issn = {0001-0782},
  publisher = {ACM Press},
}

@ARTICLE{agrawal93:debugging,
  author = {Hiralal Agrawal and Richard A. DeMillo and Eugene H. Spafford},
  title = {Debugging with Dynamic Slicing and Backtracking},
  journal = {Software - Practice and Experience},
  year = {1993},
  volume = {23},
  pages = {589-616},
  number = {6},
}

@INPROCEEDINGS{agrawal95:fault,
  author = {Hiralal Agrawal and Joseph R. Horgan and Saul London and W. Eric Wong},
  title = {Fault localization using execution slices and data flow tests},
  booktitle = {Proc. of ISSRE},
  year = {1995},
}

@TECHREPORT{alexander04:towards,
  author = {Roger T. Alexander and James M. Bieman and Anneliese A. Andrews},
  title = {Towards the Systematic Testing of Aspect-Oriented Programs},
  institution = {Department of Computer Science, Colorado State University},
  year = {2004},
  type = {Technical Report},
  number = {CS-4-105},
  address = {Fort Collins, Colorado},
}

@INPROCEEDINGS{ammons02:mining,
  author = {Glenn Ammons and Rastislav Bodik and James R. Larus},
  title = {Mining specifications},
  booktitle = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  year = {2002},
  pages = {4--16},
  doi = {http://doi.acm.org/10.1145/503272.503275},
  isbn = {1-58113-450-9},
  location = {Portland, Oregon},
}

@INPROCEEDINGS{ammons03:debugging,
  author = {Glenn Ammons and David Mandelin and Rastislav Bodik and James R. Larus},
  title = {Debugging temporal specifications with concept analysis},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
  year = {2003},
  pages = {182--195},
  doi = {http://doi.acm.org/10.1145/781131.781152},
  isbn = {1-58113-662-5},
  location = {San Diego, CA},
}

@INPROCEEDINGS{andrews79:using,
  author = {Dorothy M. Andrews},
  title = {Using Executable Assertions for Testing and Fault Tolerance},
  booktitle = {Proceedings of the International Fault-Tolerant Computing Symposium (FTCS)},
  year = {1979},
  pages = {102--105},
}

@INPROCEEDINGS{andrews04:zing,
  author = {Tony Andrews and Shaz Qadeer and Sriram K. Rajamani and Jakob Rehof and Yichen Xie},
  title = {Zing: A Model Checker for Concurrent Software},
  booktitle = {Proceedings of the International Conference on Computer Aided Verification (CAV)},
  year = {2004},
  pages = {484--487},
}

@BOOK{arnold00:java,
  title = {The Java Programming Language},
  publisher = {Addison-Wesley Longman Publishing Co., Inc.},
  year = {2000},
  author = {Ken Arnold and James Gosling and David Holmes},
  isbn = {0201704331},
}

@BOOK{arnold96:software,
  title = {Software Change Impact Analysis},
  publisher = {IEEE Computer Society Press},
  year = {1996},
  author = {Robert S. Arnold},
  isbn = {0818673842},
}

@TECHREPORT{ball04:theory,
  author = {Thomas Ball},
  title = {A Theory of Predicate-Complete Test Coverage and Generation},
  institution = {Microsoft Research},
  year = {2004},
  type = {Technical Report},
  number = {MSR-TR-2004-28},
  address = {Redmond, WA},
  month = {April},
}

@TECHREPORT{ball03:abstraction,
  author = {Thomas Ball},
  title = {Abstraction-guided Test Generation: A Case Study},
  institution = {Microsoft Research},
  year = {2003},
  type = {Technical Report},
  number = {MSR-TR-2003-86},
  address = {Seattle, WA},
  month = {November},
}

@ARTICLE{ball00:state,
  author = {Thomas Ball and Daniel Hoffman and Frank Ruskey and Richard Webber and Lee J. White},
  title = {State Generation and Automated Class Testing},
  journal = {Software Testing, Verification and Reliability},
  year = {2000},
  volume = {10},
  pages = {149--170},
  number = {3},
}

@INPROCEEDINGS{ball96:efficient,
  author = {Thomas Ball and James R. Larus},
  title = {Efficient path profiling},
  booktitle = {Proc. of MICRO},
  year = {1996},
  isbn = {0-8186-7641-8},
}

@INPROCEEDINGS{ball01:automatic,
  author = {Thomas Ball and Rupak Majumdar and Todd Millstein and Sriram K. Rajamani},
  title = {Automatic predicate abstraction of {C} programs},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
  year = {2001},
  pages = {203--213},
  doi = {http://doi.acm.org/10.1145/378795.378846},
  isbn = {1-58113-414-2},
  location = {Snowbird, Utah, United States},
}

@INPROCEEDINGS{ball01:automatically,
  author = {Thomas Ball and Sriram K. Rajamani},
  title = {Automatically validating temporal safety properties of interfaces},
  booktitle = {Proceedings of the International SPIN Workshop on Model Checking of Software (SPIN)},
  year = {2001},
  pages = {103--122},
  location = {Toronto, Canada}
}

@ARTICLE{BallLarus2000,
  author = {Tom Ball and James R. Larus},
  title = {Using Paths to Measure, Explain, and Enhance Program Behavior},
  journal = {IEEE Computer},
  year = {2000},
  volume = {33},
  pages = {57--65},
  number = {7},
}

@TECHREPORT{baresi01:test,
  author = {Luciano Baresi and Michal Young},
  title = {Test Oracles},
  institution = {University of Oregon, Dept. of Computer and Information Science},
  year = {2001},
  type = {Technical Report},
  number = {CIS-TR-01-02},
  address = {Eugene, Oregon, U.S.A.},
  month = {August},
}

@INPROCEEDINGS{barnett04:pure,
  author = {Mike Barnett and David A. Naumann and Wolfram Schulte and Qi Sun},
  title = {99.44\% pure: Useful Abstractions in Specifications},
  booktitle = {Proceedings of the Workshop on Formal Techniques for Java-like Programs (FTfJP)},
  year = {2004},
  month = {June},
}

@INPROCEEDINGS{barrett04:cvclite,
  author = {Clark W. Barrett and Sergey Berezin},
  title = {{CVC} {L}ite: A New Implementation of the Cooperating Validity Checker},
  booktitle = {Proceedings of the International Conference on Computer Aided Verification (CAV)},
  year = {2004},
  pages = {515--518},
  month = {July},
  location = {Boston, MA},
}

@BOOK{beck03:test,
  title = {Test Driven Development: By Example},
  publisher = {Addison-Wesley},
  year = {2003},
  author = {Kent Beck},
  isbn = {0-321-14653-0},
  keywords = {olit scglib oorp},
}

@BOOK{beck00:extreme,
  title = {Extreme programming explained},
  publisher = {Addison-Wesley},
  year = {2000},
  author = {Kent Beck},
}

@ARTICLE{beck98:test,
  author = {Kent Beck and Erich Gamma},
  title = {Test Infected: Programmers Love Writing Tests},
  journal = {Java Report},
  year = {1998},
  volume = {3},
  pages = {37--50},
  number = {7},
  url = {http://junit.sourceforge.net/doc/testinfected/testing.htm},
}

@BOOK{beizer90:testing,
  title = {Software Testing Techniques},
  publisher = {International Thomson Computer Press},
  year = {1990},
  author = {Boris Beizer},
}

@ARTICLE{bergmans01:composing,
  author = {Lodewijk Bergmans and Mehmet Aksits},
  title = {Composing crosscutting concerns using composition filters},
  journal = {Communications of ACM},
  year = {2001},
  volume = {44},
  pages = {51--57},
  number = {10},
}

@ARTICLE{bernot91:software,
  author = {Gilles Bernot and Marie Claude Gaudel and Bruno Marre},
  title = {Software testing based on formal specifications: a theory and a tool},
  journal = {Software Engineering Journal},
  year = {1991},
  volume = {6},
  pages = {387--405},
  number = {6},
  issn = {0268-6961},
  publisher = {Michael Faraday House},
}

@INPROCEEDINGS{beyer04:generating,
  author = {Dirk Beyer and Adam J. Chlipala and Rupak Majumdar},
  title = {Generating Tests from Counterexamples},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2004},
  pages = {326--335},
}

@ARTICLE{boehm96:identifying,
  author = {Barry Boehm and Hoh In},
  title = {Identifying Quality-Requirement Conflicts},
  journal = {IEEE Software},
  year = {1996},
  volume = {13},
  pages = {25--35},
  number = {2},
  doi = {http://dx.doi.org/10.1109/52.506460},
  issn = {0740-7459},
  publisher = {IEEE Computer Society Press},
}

@INPROCEEDINGS{boyapati02:korat,
  author = {Chandrasekhar Boyapati and Sarfraz Khurshid and Darko Marinov},
  title = {Korat: {A}utomated testing based on {Java} predicates},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2002},
  pages = {123--133},
  doi = {http://doi.acm.org/10.1145/566172.566191},
  isbn = {1-58113-562-9},
  location = {Roma, Italy},
}

@ARTICLE{bush00:static,
  author = {William R. Bush and Jonathan D. Pincus and David J. Sielaff},
  title = {A static analyzer for finding dynamic programming errors},
  journal = {Software - Practice and Experience},
  year = {2000},
  volume = {30},
  pages = {775--802},
  number = {7},
}

@INPROCEEDINGS{buy00:automated,
  author = {Ugo Buy and Alessandro Orso and Mauro Pezze},
  title = {Automated Testing of Classes},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2000},
  pages = {39--48},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/347324.348870},
  isbn = {1-58113-266-2},
  location = {Portland, Oregon, United States},
}

@INPROCEEDINGS{chang99:structural,
  author = {Juei Chang and Debra J. Richardson},
  title = {Structural specification-based testing: automated support and experimental evaluation},
  booktitle = {Proceedings of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
  year = {1999},
  pages = {285--302},
  doi = {http://doi.acm.org/10.1145/318773.318948},
  isbn = {3-540-66538-2},
  location = {Toulouse, France},
}

@ARTICLE{chapman82:program,
  author = {David Chapman},
  title = {A program testing assistant},
  journal = {Communications of ACM},
  year = {1982},
  volume = {25},
  pages = {625--634},
  number = {9},
}

@ARTICLE{chen98:black,
  author = {Huo Yan Chen and T. H. Tse and F. T. Chan and T. Y. Chen},
  title = {In black and white: an
     integrated approach to class-level testing of object-oriented programs},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {1998},
  volume = {7},
  pages = {250--295},
  number = {3},
  doi = {http://doi.acm.org/10.1145/287000.287004},
  issn = {1049-331X},
  publisher = {ACM Press},
}

@ARTICLE{chen01:taccle,
  author = {Huo Yan Chen and T. H. Tse and T. Y. Chen},
  title = {TACCLE: a methodology for
     object-oriented software testing at the class and cluster levels},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {2001},
  volume = {10},
  pages = {56--109},
  number = {1},
  doi = {http://doi.acm.org/10.1145/366378.366380},
  issn = {1049-331X},
  publisher = {ACM Press},
}

@ARTICLE{chen03:fault,
  author = {Tsong Yueh Chen and T. H. Tse and Z. Quan Zhou},
  title = {Fault-based testing without the need of oracles.},
  journal = {Information {\&} Software Technology},
  year = {2003},
  volume = {45},
  pages = {1-9},
  number = {1},
}

@INPROCEEDINGS{cheon02:simple,
  author = {Yoonsik Cheon and Gary T. Leavens},
  title = {A Simple and Practical Approach to Unit Testing: The {JML} and {JUnit} Way},
  booktitle = {Proceedings of the European Conference Object-Oriented Programming (ECOOP)},
  year = {2002},
  pages = {231--255},
  month = Jun,
  key = {Cheon \& Leavens},
}

@inproceedings{claessen00:quickcheck,
 author = {Koen Claessen and John Hughes},
 title = {{QuickCheck}: a lightweight tool for random testing of {H}askell programs},
 booktitle = {Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP)},
 year = {2000},
 location = {Montreal, Canada},
 pages = {268--279},
}

@UNPUBLISHED{clark00:junit,
  author = {Mike Clark},
  title = {JUnit Primer},
  note = {Draft manuscript},
  month = {October},
  year = {2000},
  url = {http://www.clarkware.com/articles/JUnitPrimer.html},
}

@INPROCEEDINGS{clark99:type,
  author = {Tony Clark},
  title = {Type Checking {UML} Static Diagrams},
  booktitle = {UML'99 - The Unified Modeling Language. Beyond the Standard. Second International
     Conference, Fort Collins, CO},
  year = {1999},
  month = Oct,
  editor = {Robert France and Bernhard Rumpe},
  volume = {1723},
  series = {LNCS},
  pages = {503--517},
}

@BOOK{clarke99:model,
  title = {Model Checking},
  publisher = {The MIT Press, Cambridge, MA},
  year = {1999},
  author = {Edmund M. Clarke and Orna Grumberg and Doron A. Peled},
  isbn = {262032708},
}

@ARTICLE{clarke76:system,
  author = {Lori A. Clarke},
  title = {A system to generate test data and symbolically execute programs},
  journal = {IEEE Trans. Softw. Eng.},
  year = {1976},
  volume = {2},
  pages = {215-222},
  number = {3},
}

@INPROCEEDINGS{cook99:highly,
  author = {Jonathan E. Cook and Jeffrey A. Dage},
  title = {Highly reliable upgrading of components},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1999},
  pages = {203--212},
  publisher = {IEEE Computer Society Press},
  isbn = {1-58113-074-0},
  location = {Los Angeles, California, United States},
}

@ARTICLE{cook98:discovering,
  author = {Jonathan E. Cook and Alexander L. Wolf},
  title = {Discovering models of software processes from event-based data},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {1998},
  volume = {7},
  pages = {215--249},
  number = {3},
  doi = {http://doi.acm.org/10.1145/287000.287001},
  issn = {1049-331X},
  publisher = {ACM Press},
}

@INPROCEEDINGS{corbett00:bandera,
  author = {James C. Corbett and Matthew B. Dwyer and John Hatcliff and
     Shawn Laubach and Corina S. Pasareanu and Robby and Hongjun Zheng},
  title = {{B}andera: {E}xtracting finite-state models from {Java} source code},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2000},
  pages = {439--448},
  doi = {http://doi.acm.org/10.1145/337180.337234},
  isbn = {1-58113-206-9},
  location = {Limerick, Ireland},
}

@BOOK{cormen90:algorithms,
  title = {Introduction to Algorithms},
  publisher = {The MIT Press},
  year = {1990},
  author = {T. H. Cormen and C. E. Leiserson and R. L. Rivest},
  address = {Cambridge, MA},
}

@ARTICLE{csallner04:jcrasher,
  author = {Christoph Csallner and Yannis Smaragdakis},
  title = {J{C}rasher: An automatic robustness tester for {J}ava},
  journal = {Software - Practice and Experience},
  year = {2004},
  volume = {34},
  pages = {1025--1050},
  issue = {11},
}

@ARTICLE{cusumano97:how,
  author = {Michael A. Cusumano and Richard W. Selby},
  title = {How {M}icrosoft builds software},
  journal = {Communications of ACM},
  year = {1997},
  volume = {40},
  pages = {53--61},
  number = {6},
  doi = {http://doi.acm.org/10.1145/255656.255698},
  issn = {0001-0782},
  publisher = {ACM Press},
}

@MISC{dahm03:byte,
  author = {Markus Dahm and Jason van Zyl},
  title = {Byte {C}ode {E}ngineering {L}ibrary},
  month = {April},
  year = {2003},
  note = {\newurl{http://jakarta.apache.org/bcel/}},
  source = {http://jakarta.apache.org/bcel/},
}

@INPROCEEDINGS{deBaud99:systematic,
  author = {Jean-Marc DeBaud and Klaus Schmid},
  title = {A systematic approach to derive the scope of software product lines},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1999},
  pages = {34--43},
  publisher = {IEEE Computer Society Press},
  isbn = {1-58113-074-0},
  location = {Los Angeles, California, United States},
}

@INPROCEEDINGS{dekel03:revealing,
  author = {Uri Dekel and Yossi Gil},
  title = {Revealing Class Structure with Concept Lattices},
  booktitle = {Proceedings of the IEEE Working Conference on Reverse Engineering (WCRE)},
  year = {2003},
  pages = {353--365},
}

@ARTICLE{deMartini99:deadlock,
  author = {Claudio DeMartini and Radu Iosif and Riccardo Sisto},
  title = {A deadlock detection tool for concurrent {Java} programs},
  journal = {Software - Practice and Experience},
  year = {1999},
  volume = {29},
  pages = {577--603},
  number = {7},
}

@ARTICLE{deMillo91:constraint,
  author = {Richard A. DeMillo and A. Jefferson Offutt},
  title = {Constraint-Based Automatic Test Data Generation},
  journal = {IEEE Transactions Software Engineering},
  year = {1991},
  volume = {17},
  pages = {900--910},
  number = {9},
}

@INPROCEEDINGS{dick93:automating,
  author = {Jeremy Dick and Alain Faivre},
  title = {Automating the Generation and Sequencing of Test Cases from Model-Based Specifications},
  booktitle = {Proceedings of the International
     Symposium of Formal Methods Europe on Industrial-Strength Formal Methods (FME)},
  year = {1993},
  pages = {268--284},
  address = {London, UK},
}

@INPROCEEDINGS{dickinson01:finding,
  author = {William Dickinson and David Leon and Andy Podgurski},
  title = {Finding failures by cluster analysis of execution profiles},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2001},
  pages = {339--348},
  isbn = {0-7695-1050-7},
  location = {Toronto, Ontario, Canada},
}

@INPROCEEDINGS{dickinson01:pursuing,
  author = {William Dickinson and David Leon and Andy Podgurski},
  title = {Pursuing failure: the distribution of program failures in a profile space},
  booktitle = {Proceedings of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
  year = {2001},
  pages = {246--255},
  doi = {http://doi.acm.org/10.1145/503209.503243},
  isbn = {1-58113-390-1},
  location = {Vienna, Austria},
}

@INPROCEEDINGS{henkel03:discovering,
  author = {Johannes Henkel And Amer Diwan},
  title = {Discovering Algebraic Specifications from {Java} Classes},
  booktitle = {Proceeding of the European Conference on Object-Oriented Programming (ECOOP)},
  year = {2003},
  pages = {431--456},
}

@UNPUBLISHED{Dodoo02:selecting,
  author = {Nii Dodoo and Alan Donovan and Lee Lin and Michael D. Ernst},
  title = {Selecting predicates for implications in program analysis},
  note = {Draft},
  month = {March},
  year = {2002},
  url = {http://pag.lcs.mit.edu/~mernst/pubs/invariants-implications.ps},
}

@ARTICLE{doong94:astoot,
  author = {Roong-Ko Doong and Phyllis G. Frankl},
  title = {The {ASTOOT} approach to testing object-oriented programs},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {1994},
  volume = {3},
  pages = {101--130},
  number = {2},
  doi = {http://doi.acm.org/10.1145/192218.192221},
  issn = {1049-331X},
  publisher = {ACM Press},
}

@INPROCEEDINGS{dwyer99:patterns,
  author = {Matthew B. Dwyer and George S. Avrunin and James C. Corbett},
  title = {Patterns in property specifications for finite-state verification},
  booktitle = {Proceedings of the International Conference on Software Engineering ICSE)},
  year = {1999},
  pages = {411--420},
  isbn = {1-58113-074-0},
  location = {Los Angeles, California, United States},
}

@INPROCEEDINGS{dwyer01:tool,
  author = {Matthew B. Dwyer and John Hatcliff and Roby Joehanes and Shawn
     Laubach and Corina S. Pasareanu and Hongjun Zheng and Willem Visser},
  title = {Tool-supported program abstraction for finite-state verification},
  booktitle = {Proceeding of the International Conference on Software Engineering (ICSE)},
  year = {2001},
  pages = {177--187},
  isbn = {0-7695-1050-7},
  location = {Toronto, Ontario, Canada},
}

@ARTICLE{edwards00:black,
  author = {Stephen H. Edwards},
  title = {Black-box testing using flowgraphs: an
     experimental assessment of effectiveness and automation potential},
  journal = {Software Testing, Verification and Reliability},
  year = {2000},
  volume = {10},
  pages = {249-262},
  number = {4},
}

@INPROCEEDINGS{elbaum01:incorporating,
  author = {Sebastian Elbaum and Alexey Malishevsky and Gregg Rothermel},
  title = {Incorporating varying test costs and fault severities into test case prioritization},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2001},
  pages = {329--338},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1050-7},
  location = {Toronto, Ontario, Canada},
}

@ARTICLE{elbaum02:test,
  author = {Sebastian Elbaum and Alexey G. Malishevsky and Gregg Rothermel},
  title = {Test Case Prioritization: A Family of Empirical Studies},
  journal = {IEEE Transactions Software Engineering},
  year = {2002},
  volume = {28},
  pages = {159--182},
  number = {2},
  doi = {http://dx.doi.org/10.1109/32.988497},
  issn = {0098-5589},
  publisher = {IEEE Press},
}

@INPROCEEDINGS{engler01:bugs,
  author = {Dawson Engler and David Yu Chen and Seth Hallem and Andy Chou and Benjamin Chelf},
  title = {Bugs as deviant behavior: a general approach to inferring errors in systems code},
  booktitle = {Proceedings of the ACM Symposium on Operating Systems Principles (SOSP)},
  year = {2001},
  pages = {57--72},
  doi = {http://doi.acm.org/10.1145/502034.502041},
  isbn = {1-58113-389-8},
  location = {Banff, Alberta, Canada},
}

@PHDTHESIS{ernst00:dynamically,
  author = {Michael D. Ernst},
  title = {Dynamically Discovering Likely Program Invariants},
  school = {University of Washington Department of Computer Science and Engineering},
  year = {2000},
  type = {{Ph.D.}},
  address = {Seattle, Washington},
  month = {August},
}

@ARTICLE{ernst01:dynamically,
  author = {Michael D. Ernst and Jake Cockrell and William G. Griswold and David Notkin},
  title = {Dynamically Discovering Likely Program Invariants to Support Program Evolution},
  journal = {IEEE Transactions on Software Engineering},
  year = {2001},
  volume = {27},
  pages = {99--123},
  number = {2},
  doi = {http://dx.doi.org/10.1109/32.908957},
  issn = {0098-5589},
  publisher = {IEEE Press},
}

@INPROCEEDINGS{flanagan02:extended,
  author = {Cormac Flanagan and K. Rustan M. Leino and
     Mark Lillibridge and Greg Nelson and James B. Saxe and Raymie Stata},
  title = {Extended static checking for {Java}},
  booktitle = {Proceedings the ACM SIGPLAN
     Conference on Programming Language Design and Implementation (PLDI)},
  year = {2002},
  pages = {234--245},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/512529.512558},
  isbn = {1-58113-463-0},
  location = {Berlin, Germany},
}

@BOOK{fowler99:refactoring,
  title = {Refactoring: Improving the Design of Existing Code},
  publisher = {Addison Wesley},
  year = {1999},
  author = {Martin Fowler},
}

@ARTICLE{frankl93:experimental,
  author = {Phyllis G. Frankl and Stewart N. Weiss},
  title = {An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing},
  journal = {IEEE Transactions on Software Engineering},
  year = {1993},
  volume = {19},
  pages = {774--787},
  number = {8},
  month = {August},
}

@ARTICLE{fredkin60:trie,
  author = {Edward Fredkin},
  title = {Trie memory},
  journal = {Communications of ACM},
  year = {1960},
  volume = {3},
  pages = {490--499},
  number = {9},
  doi = {http://doi.acm.org/10.1145/367390.367400},
  issn = {0001-0782},
  publisher = {ACM Press},
}

@UNPUBLISHED{gallagher02:integration,
  author = {Len Gallagher and Jeff Offutt},
  title = {Integration Testing of Object-oriented Components Using Finite State Machines},
  note = {Draft under review},
  month = {March},
  year = {2002},
  url = {http://www.isse.gmu.edu/faculty/ofut/rsrch/abstracts/oocomptest.html},
}

@MISC{junit03,
  author = {Erich Gamma and Kent Beck},
  title = {{JU}nit},
  year = {2003},
  note = {\newurl{http://www.junit.org}},
  keywords = {testing},
}

@ARTICLE{gannon81:data,
  author = {John Gannon and Paul McMullin and Richard Hamlet},
  title = {Data Abstraction, Implementation, Specification, and Testing},
  journal = {ACM Transactions on Programming Languages and Systems},
  year = {1981},
  volume = {3},
  pages = {211--223},
  number = {3},
  doi = {http://doi.acm.org/10.1145/357139.357140},
  issn = {0164-0925},
  publisher = {ACM Press},
}

@ARTICLE{gansner00:open,
  author = {Emden R. Gansner and Stephen C. North},
  title = {An open graph visualization system and its applications to software engineering},
  journal = {Software - Practice and Experience},
  year = {2000},
  volume = {30},
  pages = {1203--1233},
  number = {11},
  month = {Sept.},
}

@INPROCEEDINGS{godefroid97:model,
  author = {Patrice Godefroid},
  title = {Model checking for programming languages using {V}eriSoft},
  booktitle = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
  year = {1997},
  pages = {174--186},
}

@MISC{godfrey03:axioms,
  author = {Michael Godfrey and Jo Anne Atlee and Daniel Berry},
  title = {Algebraic Abstract Data Types class note},
  howpublished = {Online course materials},
  year = {2003},
  note = {\newurl{http://www.student.cs.uwaterloo.ca/~cs445/handouts/lectureSlides/W03/}},
}

@ARTICLE{goodenough75:toward,
  author = {John B. Goodenough and Susan L. Gerhart},
  title = {Toward a Theory of Test Data Selection},
  journal = {IEEE Transactions Software Engineering},
  year = {1975},
  volume = {1},
  pages = {156-173},
  number = {2},
}

@INPROCEEDINGS{gotlieb03:exploiting,
  author = {Arnaud Gotlieb},
  title = {Exploiting Symmetries to Test Programs},
  booktitle = {Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE)},
  year = {2003},
  address = {Denver, Colorado},
  month = {November},
}

@INPROCEEDINGS{gotlieb98:automatic,
  author = {Arnaud Gotlieb and Bernard Botella and Michel Rueher},
  title = {Automatic test data generation using constraint solving techniques},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
  year = {1998},
  pages = {53--62},
  location = {Clearwater Beach, Florida},
}

@INPROCEEDINGS{graf97:construction,
  author = {Susanne Graf and Hassen Saidi},
  title = {Construction of Abstract State Graphs with {PVS}},
  booktitle = {Proceedings of the International Conference on Computer Aided Verification (CAV)},
  year = {1997},
  pages = {72--83},
}

@ARTICLE{graves01:empirical,
  author = {Todd L. Graves and Mary
     Jean Harrold and Jung-Min Kim and Adam Porter and Gregg Rothermel},
  title = {An empirical study of regression test selection techniques},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {2001},
  volume = {10},
  pages = {184--208},
  number = {2},
}

@ARTICLE{graves00:predicting,
  author = {Todd L. Graves and Alan F. Karr and J. S. Marron and Harvey Siy},
  title = {Predicting Fault Incidence Using Software Change History},
  journal = {IEEE Transactions on Software Engineering},
  year = {2000},
  volume = {26},
  pages = {653--661},
  number = {7},
  doi = {http://dx.doi.org/10.1109/32.859533},
  issn = {0098-5589},
  publisher = {IEEE Press},
}

@INPROCEEDINGS{grieskamp02:generating,
  author = {Wolfgang Grieskamp and Yuri Gurevich and Wolfram Schulte and Margus Veanes},
  title = {Generating finite state machines from abstract state machines},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2002},
  pages = {112--122},
  doi = {http://doi.acm.org/10.1145/566172.566190},
  isbn = {1-58113-562-9},
  location = {Roma, Italy},
}

@ARTICLE{griswold93:autoamted,
  author = {William G. Griswold and David Notkin},
  title = {Automated assistance for program restructuring},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {1993},
  volume = {2},
  pages = {228--269},
  number = {3},
  doi = {http://doi.acm.org/10.1145/152388.152389},
  issn = {1049-331X},
  publisher = {ACM Press},
}

@INPROCEEDINGS{gupta03:generating,
  author = {Neelam Gupta},
  title = {Generating Test Data for Dynamically Discovering Likely Program Invariants},
  booktitle = {Proceedings of the ICSE Workshop on Dynamic Analysis (WODA)},
  year = {2003},
  pages = {21--24},
  month = {May},
  location = {Portland, Oregon},
}

@INPROCEEDINGS{gupta03:new,
  author = {Neelam Gupta and Zachary V. Heidepriem},
  title = {A New Structural Coverage Criteria for Dynamic Detection of Program Invariants},
  booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
  year = {2003},
  pages = {49--58},
  publisher = {IEEE Computer Society},
  location = {Montreal, Canada},
}

@INPROCEEDINGS{gupta98:automated,
  author = {Neelam Gupta and Aditya P. Mathur and Mary Lou Soffa},
  title = {Automated test data generation using an iterative relaxation method},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)},
  year = {1998},
  pages = {231--244},
  doi = {http://doi.acm.org/10.1145/288195.288321},
  isbn = {1-58113-108-9},
  location = {Lake Buena Vista, Florida, United States},
}

@ARTICLE{guttag78:algebraic,
  author = {John V. Guttag and James J. Horning},
  title = {The Algebraic Specification of Abstract Data Types},
  journal = {Acta Informatica},
  year = {1978},
  volume = {10},
  pages = {27--52},
}

@ARTICLE{hamlet77:testing,
  author = {Richard G. Hamlet},
  title = {Testing Programs with the Aid of a Compiler},
  journal = {IEEE Transactions on Software Engineering},
  year = {1977},
  volume = {3},
  pages = {279-290},
  number = {4},
}

@INPROCEEDINGS{hangal02:tracking,
  author = {Sudheendra Hangal and Monica S. Lam},
  title = {Tracking down software bugs using automatic anomaly detection},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2002},
  pages = {291--301},
  doi = {http://doi.acm.org/10.1145/581339.581377},
  isbn = {1-58113-472-X},
  location = {Orlando, Florida},
}

@INPROCEEDINGS{harder03:improving,
  author = {Michael Harder and Jeff Mellen and Michael D. Ernst},
  title = {Improving test suites via operational abstraction},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2003},
  pages = {60--71},
  isbn = {0-7695-1877-X},
  location = {Portland, Oregon},
}

@INPROCEEDINGS{harrold01:regression,
  author = {Mary Jean Harrold and
     James A. Jones and Tongyu Li and Donglin Liang and Ashish Gujarathi},
  title = {Regression test selection for {Java} software},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on
     Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)},
  year = {2001},
  pages = {312--326},
  location = {Tampa Bay, FL},
}

@ARTICLE{harrold01:empirical,
  author = {Mary Jean Harrold and David Rosenblum and Gregg Rothermel and Elaine Weyuker},
  title = {Empirical Studies of a Prediction Model for Regression Test Selection},
  journal = {IEEE Transactions on Software Engineering},
  year = {2001},
  volume = {27},
  pages = {248--263},
  number = {3},
  doi = {http://dx.doi.org/10.1109/32.910860},
  issn = {0098-5589},
  publisher = {IEEE Press},
}

@INPROCEEDINGS{harrold94:performing,
  author = {Mary Jean Harrold and Gregg Rothermel},
  title = {Performing data flow testing on classes},
  booktitle = {Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE)},
  year = {1994},
  pages = {154--163},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/193173.195402},
  isbn = {0-89791-691-3},
  location = {New Orleans, Louisiana, United States},
}

@ARTICLE{harrold00:empirical,
  author = {Mary Jean Harrold and Gregg Rothermel and Kent Sayre and Rui Wu and Liu Yi},
  title = {An Empirical Investigation of
     the Relationship Between Spectra Differences and Regression Faults},
  journal = {Journal of Software Testing, Verification and Reliability},
  year = {2000},
  volume = {10},
  pages = {171--194},
  number = {3},
}

@INPROCEEDINGS{heimdahl04:test,
  author = {Mats P.E. Heimdahl and George Devaraj},
  title = {Test-suite Reduction for Model
     Based Tests: Effects on test quality and Implications for Testing},
  booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
  year = {2004},
  pages = {176--185},
  address = {Linz, Austria},
  month = {September},
}

@TECHREPORT{henkel04:case,
  author = {Johannes Henkel and Amer Diwan},
  title = {Case Study: Debugging a Discovered
     Specification for java.util.{A}rray{L}ist by Using Algebraic Interpretation},
  institution = {University of Colorado at Boulder},
  year = {2004},
  number = {CU-CS-970-04},
}

@INPROCEEDINGS{henkel04:tool,
  author = {Johannes Henkel and Amer Diwan},
  title = {A Tool for Writing and Debugging Algebraic Specifications},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2004},
  pages = {449--458},
}

@INPROCEEDINGS{henzinger2003:software,
  author = {Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar and Gregoire Sutre},
  title = {Software Verification with {BLAST}},
  booktitle = {Proceedings of the SPIN Workshop on Software Model Checking (SPIN)},
  year = {2003},
  pages = {235--239}
}

@INPROCEEDINGS{hildebrandt00:simplifying,
  author = {Ralf Hildebrandt and Andreas Zeller},
  title = {Simplifying failure-inducing input},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2000},
  pages = {135--145},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/347324.348938},
  isbn = {1-58113-266-2},
  location = {Portland, Oregon, United States},
}

@INPROCEEDINGS{hilsdale04:advice,
  author = {Erik Hilsdale and Jim Hugunin},
  title = {Advice weaving in {A}spect{J}},
  booktitle = {Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD)},
  year = {2004},
  pages = {26--35},
  doi = {http://doi.acm.org/10.1145/976270.976276},
  isbn = {1-58113-842-3},
  location = {Lancaster, UK},
}

@ARTICLE{hoare69:axiomatic,
  author = {C. A. R. Hoare},
  title = {An axiomatic basis for computer programming},
  journal = {Communications of ACM},
  year = {1969},
  volume = {12},
  pages = {576--580},
  number = {10},
  doi = {http://doi.acm.org/10.1145/363235.363259},
  issn = {0001-0782},
  publisher = {ACM Press},
}

@MISC{hoffman98:taxonomy,
  author = {Douglas Hoffman},
  title = {A Taxonomy for Test Oracles},
  howpublished = {Tutorial at 11th International Software Quality Week},
  year = {1998},
  url = {http://softwarequalitymethods.com/SQM/Papers/ATaxonomyPaper.pdf},
}

@INPROCEEDINGS{hong95:testing,
  author = {Hyoung Seok Hong and Yong Rae Kwon and Sung Deok Cha},
  title = {Testing of Object-Oriented Programs Based on Finite State Machines},
  booktitle = {Proceedings of the Asia-Pacific Software Engineering Conference (APSEC)},
  year = {1995},
  pages = {234--241},
  isbn = {0-8186-4600-4},
}

@INPROCEEDINGS{horwitz02:tool,
  author = {Susan B. Horwitz},
  title = {Tool Support for Improving Test Coverage},
  booktitle = {Proceedings of the European Symposium on Programming (ESOP)},
  year = {2002},
  pages = {162--177},
  address = {Grenoble, France},
  month = {April},
}

@ARTICLE{howden82:weak,
  author = {William E. Howden},
  title = {Weak mutation testing and completeness of test sets},
  journal = {IEEE Transactions on Software Engineering},
  year = {1982},
  volume = {8},
  pages = {371--379},
  number = {4},
  month = {July},
  publisher = {IEEE Press},
}

@ARTICLE{huang75:approach,
  author = {J. C. Huang},
  title = {An Approach to Program Testing},
  journal = {ACM Computing Surveys},
  year = {1975},
  volume = {7},
  pages = {113--128},
  number = {3},
}

@INPROCEEDINGS{hughes96:datistish,
  author = {Merlin Hughes and David Stotts},
  title = {Daistish: systematic
     algebraic testing for OO programs in the presence of side-effects},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {1996},
  pages = {53--61},
  doi = {http://doi.acm.org/10.1145/229000.226301},
  isbn = {0-89791-787-1},
  location = {San Diego, California, United States},
}

@INPROCEEDINGS{hutchins94:experiments,
  author = {Monica Hutchins and Herb Foster and Tarak Goradia and Thomas Ostrand},
  title = {Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1994},
  pages = {191--200},
  isbn = {0-8186-5855-X},
  location = {Sorrento, Italy},
}

@INPROCEEDINGS{iosif02:symmetry,
  author = {Radu Iosif},
  title = {Symmetry Reduction Criteria for Software Model Checking},
  booktitle = {Proceedings of the SPIN Workshop on Software Model Checking (SPIN)},
  year = {2002},
  volume = {2318},
  series = {LNCS},
  pages = {22--41},
  month = {July}
}

@INPROCEEDINGS{jaramillo02:debugging,
  author = {Clara Jaramillo and Rajiv Gupta and Mary Lou Soffa},
  title = {Debugging and Testing Optimizers through Comparison Checking},
  booktitle = {Electronic Notes in Theoretical Computer Science},
  year = {2002},
  editor = {Jens Knoop and Wolf Zimmermann},
  volume = {65},
  publisher = {Elsevier},
  issue = {2},
}

@ARTICLE{johnson74:approximation,
  author = {D. S. Johnson},
  title = {Approximation Algorithms for Combinatorial Problems},
  journal = {Journal of Computer and System Sciences},
  year = {1974},
  volume = {9},
  pages = {256--278},
}

@INPROCEEDINGS{jones01:test,
  author = {James A. Jones and Mary Jean Harrold},
  title = {Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage},
  booktitle = {Proc. of ICSM},
  year = {2001},
}

@INPROCEEDINGS{jones02:visualization,
  author = {James A. Jones and Mary Jean Harrold and John Stasko},
  title = {Visualization of test information to assist fault localization},
  booktitle = {Proc. of ICSE},
  year = {2002},
}

@BOOK{kaner02:lessions,
  title = {Lessons Learned in Software Testing},
  publisher = {Wiley \& Sons},
  year = {2002},
  author = {Cem Kaner and James Bach and Bret Pettichord},
}

@ARTICLE{karlsson97:cost,
  author = {Joachim Karlsson and Kevin Ryan},
  title = {A Cost-Value Approach for Prioritizing Requirements},
  journal = {IEEE Software},
  year = {1997},
  volume = {14},
  pages = {67--74},
  number = {5},
  doi = {http://dx.doi.org/10.1109/52.605933},
  issn = {0740-7459},
  publisher = {IEEE Computer Society Press},
}

@INPROCEEDINGS{khurshid03:generalized,
  author = {Sarfraz Khurshid and Corina S. Pasareanu and Willem Visser},
  title = {Generalized symbolic execution for model checking and testing},
  booktitle = {Proceedings of the International Conference on
     Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  year = {2003},
  pages = {553--568},
  month = {April},
  location = {Warsaw, Poland},
}

@INCOLLECTION{kiczales97:aspect,
  author = {Gregor Kiczales and John Lamping and Anurag Menhdhekar and Chris
     Maeda and Cristina Lopes and Jean-Marc Loingtier and John Irwin},
  title = {Aspect-Oriented Programming},
  booktitle = {Proceedings of the European Conference on Object-Oriented Programming (ECOOP)},
  year = {1997},
  pages = {220--242},
}

@INPROCEEDINGS{kim02:history,
  author = {Jung-Min Kim and Adam Porter},
  title = {A history-based test prioritization
     technique for regression testing in resource constrained environments},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2002},
  pages = {119--129},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/581339.581357},
  isbn = {1-58113-472-X},
  location = {Orlando, Florida},
}

@ARTICLE{king76:symbolic,
  author = {James C. King},
  title = {Symbolic Execution and Program Testing},
  journal = {Communications of ACM},
  year = {1976},
  volume = {19},
  pages = {385--394},
  number = {7},
}

@ARTICLE{korel90:automated,
  author = {Bogdan Korel},
  title = {Automated Software Test Data Generation},
  journal = {IEEE Transactions on Software Engineering},
  year = {1990},
  volume = {16},
  pages = {870--879},
  number = {8},
}

@INPROCEEDINGS{korel98:automated,
  author = {Bogdan Korel and Ali M. Al-Yami},
  title = {Automated regression test generation},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
  year = {1998},
  pages = {143--152},
  location = {Clearwater Beach, Florida},
}

@INPROCEEDINGS{korel96:assertion,
  author = {Bogdan Korel and Ali M. Al-Yami},
  title = {Assertion-oriented automated test data generation},
  booktitle = {Proceedings of the International Conference on Software Engineering (ASE)},
  year = {1996},
  pages = {71--80},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-7246-3},
  location = {Berlin, Germany},
}

@INPROCEEDINGS{krishnamurthi04:verifying,
  author = {Shriram Krishnamurthi and Kathi Fisler and Michael Greenberg},
  title = {Verifying Aspect Advice Modularly},
  booktitle = {Proceedings of the International Symposium on the Foundations of Software Engineering (FSE)},
  year = {2004},
  month = {November},
}

@INPROCEEDINGS{kropp98:automated,
  author = {Nathan P. Kropp and Philip J. Koopman Jr. and Daniel P. Siewiorek},
  title = {Automated Robustness Testing of Off-the-Shelf Software Components},
  booktitle = {Proceedings of the IEEE International Symposium on Fault Tolerant Computing (FTCS)},
  year = {1998},
  pages = {230--239},
}

@INPROCEEDINGS{kung94:object,
  author = {David Kung and Nimish Suchak and Jerry Gao and Pei Hsia},
  title = {On object state testing},
  booktitle = {Proceedings of the International Computer Software and Applications Conference (COMPSAC)},
  year = {1994},
  pages = {222--227},
}

@BOOK{laddad03:aspectj,
  title = {{A}spect{J} in Action},
  publisher = {Manning},
  year = {2003},
  author = {Ramnivas Laddad},
  isbn = {193011},
}

@INPROCEEDINGS{law03:whole,
  author = {James Law and Gregg Rothermel},
  title = {Whole program Path-Based dynamic impact analysis},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2003},
  pages = {308--318},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1877-X},
  location = {Portland, Oregon},
}

@TECHREPORT{leavens98:preliminary,
  author = {Gary T. Leavens and Albert L. Baker and Clyde Ruby},
  title = {Preliminary Design of
     {JML}: {A} Behavioral Interface Specification Language for {Java}},
  institution = {Department of Computer Science, Iowa State University},
  year = {1998},
  number = {TR 98-06i},
  month = Jun,
  url = {citeseer.nj.nec.com/leavens99preliminary.html},
}

@INPROCEEDINGS{lee96:principles,
  author = {David Lee and Mihalis Yannakakis},
  title = {Principles and Methods of Testing Finite State Machines - {A} Survey},
  booktitle = {Proceeding of The {IEEE}},
  year = {1996},
  volume = {84},
  number = {8},
  pages = {1090--1123},
  month = aug,
}

@INPROCEEDINGS{Utting02,
  author = {B. Legeard and F. Peureux and M. Utting},
  title = {{A comparison of the LIFC/B and TTF/Z test-generation methods}},
  booktitle = {Proceedings of the 2nd International Z and B Conference (ZB)},
  year = {2002},
  pages = {309--329},
  month = {January},
  optvolume = {LNCS 2272},
}

@INPROCEEDINGS{leung91:cost,
  author = {H.K.N. Leung and L.J. White},
  title = {A cost model to compare regression test strategies},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {1991},
  pages = {201--208},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1819-2},
}

@INPROCEEDINGS{liblit03:bug,
  author = {Ben Liblit and Alex Aiken and Alice X. Zheng and Michael I. Jordan},
  title = {Bug isolation via remote program sampling},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
  year = {2003},
  pages = {141--154},
  doi = {http://doi.acm.org/10.1145/781131.781148},
  isbn = {1-58113-662-5},
  location = {San Diego, CA},
}

@ARTICLE{lieberherr01:aspect,
  author = {Karl Lieberherr and Doug Orleans and Johan Ovlinger},
  title = {Aspect-oriented programming with adaptive methods},
  journal = {Communications of ACM},
  year = {2001},
  volume = {44},
  pages = {39--41},
  number = {10},
}

@BOOK{liskov00:program,
  title = {Program Development in {Java}: Abstraction, Specification, and Object-Oriented Design},
  publisher = {Addison-Wesley},
  year = {2000},
  author = {Barbara Liskov and John Guttag},
}

@INCOLLECTION{mackinnon01:endo,
  author = {Tim Mackinnon and Steve Freeman and Philip Craig},
  title = {Endo-Testing: Unit Testing with Mock Objects},
  booktitle = {Extreme Programming Examined},
  publisher = {Addison-Wesley},
  year = {2001},
}

@INPROCEEDINGS{malishevsky02:modeling,
  author = {Alexey G. Malishevsky and Gregg Rothermel and Sebastian G. Elbaum},
  title = {Modeling the Cost-Benefits Tradeoffs for Regression Testing Techniques},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {2002},
  pages = {204},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1819-2},
}

@INPROCEEDINGS{marinov01:testera,
  author = {Darko Marinov and Sarfraz Khurshid},
  title = {Test{E}ra: A Novel Framework for Automated Testing of {J}ava Programs},
  booktitle = {Proceedings of the International Conference on Automated Software Engineering (ASE)},
  year = {2001},
  pages = {22--31},
}

@INPROCEEDINGS{marinov03:object,
  author = {Darko Marinov and Robert O'Callahan},
  title = {Object equality profiling},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on
     Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA)},
  year = {2003},
  pages = {313--325},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/949305.949333},
  isbn = {1-58113-712-5},
  location = {Anaheim, CA},
}

@INPROCEEDINGS{mccamant03:predicting,
  author = {Stephen McCamant and Michael D. Ernst},
  title = {Predicting problems caused by component upgrades},
  booktitle = {Proceedings of European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
  year = {2003},
  pages = {287--296},
  location = {Helsinki, Finland},
}

@BOOK{mcmillan93:symbolic,
  title = {Symbolic Model Checking},
  publisher = {Kluwer Academic Publishers},
  year = {1993},
  author = {Kenneth L. McMillan},
}

@PHDTHESIS{mcmillan1992:phd,
  author = {Kenneth L. McMillan},
  title = {Symbolic Model Checking},
  school = {Carnegie Mellon University},
  year = {1992},
  type = {{Ph.D.}},
  address = {Pittsburgh, PA},
  month = {May},
}


@PHDTHESIS{memon01:comprehensive,
  author = {Atif M. Memon},
  title = {A Comprehensive Framework for Testing Graphical User Interfaces},
  school = {University of Pittsburgh},
  year = {2001},
  type = {{Ph.D.}},
  address = {Pittsburgh, PA},
  month = {July},
}

@INPROCEEDINGS{memon03:what,
  author = {Atif M. Memon and Ishan Banerjee and Adithya Nagarajan},
  title = {What Test Oracle Should {I} use for Effective {GUI} Testing?},
  booktitle = {Proceedings of the International Conference on Automated Software Engineering (ASE)},
  year = {2003},
  pages = {164--173},
  location = {Montreal, Canada},
}

@INPROCEEDINGS{memon00:automated,
  author = {Atif M. Memon and Martha E. Pollack and Mary Lou Soffa},
  title = {Automated test oracles for GUIs},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)},
  year = {2000},
  pages = {30--39},
  location = {San Diego, California},
}

@INPROCEEDINGS{memon03:regression,
  author = {Atif M. Memon and Mary Lou Soffa},
  title = {Regression testing of GUIs},
  booktitle = {Proceedings of the European Software Engineering Conference and the ACM
     SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE)},
  year = {2003},
  pages = {118--127},
  location = {Helsinki, Finland},
}

@BOOK{meyer88:object,
  title = {Object-Oriented Software Construction},
  publisher = {Prentice Hall},
  year = {1988},
  author = {Bertrand Meyer},
}

@BOOK{meyer92:eiffel,
  title = {Eiffel: The Language},
  publisher = {Prentice Hall},
  year = {1992},
  author = {Bertrand Meyer},
}

@ARTICLE{miller90:empirical,
  author = {Barton P. Miller and Louis Fredriksen and Bryan So},
  title = {An empirical study of the reliability of UNIX utilities},
  journal = {Communications of ACM},
  year = {1990},
  volume = {33},
  pages = {32--44},
  number = {12},
  issn = {0001-0782},
}

@INPROCEEDINGS{musuvathi02:cmc,
  author = {Madanlal Musuvathi and
     David Park and Andy Chou and Dawson R. Engler and David L. Dill},
  title = {{CMC}: A Pragmatic Approach to Model Checking Real Code},
  booktitle = {Proceedings of the Symposium on Operating Systems Design and Implementation (OSDI)},
  year = {2002},
  pages = {75--88},
  month = {December},
  location = {Boston, Massachusetts},
}

@BOOK{myers79:art,
  title = {Art of Software Testing},
  publisher = {John Wiley \& Sons, Inc.},
  year = {1979},
  author = {Glenford J. Myers},
  isbn = {0471043281},
}

@INPROCEEDINGS{nguyen98:design,
  author = {Dung Nguyen},
  title = {Design patterns for data structures},
  booktitle = {Proceedings of the Technical Symposium on Computer Science Education (SIGCSE)},
  year = {1998},
  pages = {336--340},
  doi = {http://doi.acm.org/10.1145/273133.274325},
  isbn = {0-89791-994-7},
  location = {Atlanta, Georgia, United States},
}

@inproceedings{nimmer01:static,
   author = {Jeremy W. Nimmer and Michael D. Ernst},
   title = {Static verification of dynamically detected program
    invariants: Integrating {Daikon} and {ESC}/{Java}},
   booktitle = {Proceedings of the Workshop on Runtime Verification (RV)},
   address = {Paris, France},
   month = {July},
   year = {2001},
}

@INPROCEEDINGS{notkin02:longitudinal,
  author = {David Notkin},
  title = {Longitudinal Program Analysis},
  booktitle = {Proceedings of the ACM SIGPLAN-SIGSOFT
     Workshop on Program Analysis for Software Tools and Engineering (PASTE)},
  year = {2002},
  pages = {1--1},
  location = {Charleston, South Carolina},
}

@ARTICLE{ostrand88:category,
  author = {T. J. Ostrand and M. J. Balcer},
  title = {The category-partition method for specifying and generating functional tests},
  journal = {Communications of ACM},
  year = {1988},
  volume = {31},
  pages = {676--686},
  number = {6},
  doi = {http://doi.acm.org/10.1145/62959.62964},
  issn = {0001-0782},
  publisher = {ACM Press},
}

@INPROCEEDINGS{ostrand98:visual,
  author = {Thomas Ostrand and Aaron Anodide and Herbert Foster and Tarak Goradia},
  title = {A visual test development environment for GUI systems},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
  year = {1998},
  pages = {82--92},
  location = {Clearwater Beach, Florida},
}

@INPROCEEDINGS{ostrand04:using,
  author = {Thomas J. Ostrand and Elaine J. Weyuker and Robert M. Bell },
  title = {Using Static Analysis to Determine Where to Focus Dynamic Testing Effort},
  booktitle = {Proceedings of the International Workshop on Dynamic Analysis (WODA)},
  year = {2004},
  pages = {1--8},
  location = {Edinburgh, Scotland},
}

@INPROCEEDINGS{ostrand04:where,
  author = {Thomas J. Ostrand and Elaine J. Weyuker and Robert M. Bell },
  title = {Where the Bugs Are},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2004},
  location = {Boston, Massachusetts},
}

@MISC{pacheco04:eclattool,
  author = {Carlos Pacheco and Michael D. Ernst},
  title = {Eclat documents},
  howpublished = {Online manual},
  month = {Oct.},
  year = {2004},
  note = {\newurl{http://people.csail.mit.edu/people/cpacheco/eclat/}},
  url = {http://people.csail.mit.edu/people/cpacheco/eclat/},
}


@inproceedings{pacheco05:eclat,
   author = {Carlos Pacheco and Michael D. Ernst},
   title = {Eclat: Automatic generation and classification of test inputs},
   booktitle = {Proceedings of the European Conference on Object-Oriented Programming (ECOOP)},
   address = {Glasgow, Scotland},
   month = {July},
   pages = {504--527},
   year = {2005},
}


@ARTICLE{panzl75:automatic,
  author = {David J. Panzl},
  title = {Automatic Software Test Drivers},
  journal = {Computer},
  year = {1978},
  volume = {11},
  pages = {44--50},
  number = {4},
  month = {April},
}

@MISC{parasoft02:jcontract,
  author = {Parasoft},
  title = {Jcontract manuals version 1.5},
  howpublished = {Online manual},
  month = {October},
  year = {2002},
  note = {\newurl{http://www.parasoft.com/}},
}

@INPROCEEDINGS{depauw02:visualizing,
  author = {Wim De Pauw and Erik Jensen and Nick
     Mitchell and Gary Sevitsky and John M. Vlissides and Jeaha Yang},
  title = {Visualizing the Execution of {Java} Programs},
  booktitle = {Revised Lectures on Software Visualization, International Seminar},
  year = {2002},
  pages = {151--162},
  isbn = {3-540-43323-6},
}

@INPROCEEDINGS{pavlopoulou99:residual,
  author = {Christina Pavlopoulou and Michal Young},
  title = {Residual test coverage monitoring},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1999},
  pages = {277--284},
  location = {Los Angeles, California},
}

@ARTICLE{pugh92:practical,
  author = {William Pugh},
  title = {A practical algorithm for exact array dependence analysis},
  journal = {Communications of ACM},
  year = {1992},
  volume = {35},
  pages = {102--114},
  number = {8},
  doi = {http://doi.acm.org/10.1145/135226.135233},
  issn = {0001-0782},
  publisher = {ACM Press},
}

@ARTICLE{ramamoorthy76:automated,
  author = {C. Ramamoorthy and S. Ho and W. Chert},
  title = {On the automated generation of program test data},
  journal = {IEEE Transactions on Software Engineering},
  year = {1976},
  volume = {2},
  pages = {293-300},
  number = {4},
}

@INPROCEEDINGS{reese97:software,
  author = {Jon Damon Reese and Nancy G. Leveson},
  title = {Software deviation analysis},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1997},
  pages = {250--260},
  doi = {http://doi.acm.org/10.1145/253228.253281},
  isbn = {0-89791-914-9},
  location = {Boston, Massachusetts, United States},
}

@INPROCEEDINGS{reiss01:encoding,
  author = {Steven P. Reiss and Manos Renieris},
  title = {Encoding program executions},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2001},
  pages = {221--230},
  isbn = {0-7695-1050-7},
  location = {Toronto, Ontario, Canada},
}

@INPROCEEDINGS{reps97:use,
  author = {Thomas Reps and Thomas Ball and Manuvir Das and James Larus},
  title = {The use of program profiling for
     software maintenance with applications to the year 2000 problem},
  booktitle = {Proceedings of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
  year = {1997},
  pages = {432--449},
  doi = {http://doi.acm.org/10.1145/267895.267925},
  isbn = {3-540-63531-9},
}

@INPROCEEDINGS{richardson94:taos,
  author = {Debra J. Richardson},
  title = {{TAOS}: {T}esting with Analysis and Oracle Support},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
  year = {1994},
  pages = {138--153},
  location = {Seattle, Washington},
}

@INPROCEEDINGS{richardson92:specification,
  author = {Debra J. Richardson and Stephanie Leif Aha and T. Owen O'Malley},
  title = {Specification-based test oracles for reactive systems},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1992},
  pages = {105--118},
  location = {Melbourne, Australia},
}

@INPROCEEDINGS{rinard04:classification,
  author = {Martin Rinard and Alexandru Salcianu and Suhabe Bugrara},
  title = {A Classification System and Analysis for Aspect-Oriented Programs},
  booktitle = {Proceedings of the International Symposium on the Foundations of Software Engineering (FSE)},
  year = {2004},
  month = {November},
}

@INPROCEEDINGS{robby03:bogor,
  author = {Robby and Matthew B. Dwyer and John Hatcliff},
  title = {Bogor: {A}n extensible and highly-modular software model checking framework},
  booktitle = {Proceedings of the European Software Engineering Conference and
     SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE)},
  year = {2003},
  pages = {267--276},
  location = {Helsinki, Finland},
}

@article{robby03:space,
  author    = {Robby and
               Matthew B. Dwyer and
               John Hatcliff and
               Radu Iosif},
  title     = {Space-Reduction Strategies for Model Checking Dynamic Software.},
  journal   = {Electronic Notes in Theoretical Computer Science},
  volume    = {89},
  number    = {3},
  year      = {2003},
  ee        = {http://www.elsevier.com/gej-ng/31/29/23/141/23/show/Products/notes/index.htt\#009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{rosenblum92:towards,
  author = {David S. Rosenblum},
  title = {Towards a method of programming with assertions},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1992},
  pages = {92--104},
  doi = {http://doi.acm.org/10.1145/143062.143098},
  isbn = {0-89791-504-6},
  location = {Melbourne, Australia},
}

@ARTICLE{rosenblum97:coverage,
  author = {David S. Rosenblum and Elaine J. Weyuker},
  title = {Using Coverage Information to
     Predict the Cost-Effectiveness of Regression Testing Strategies},
  journal = {IEEE Transactions on Software Engineering},
  year = {1997},
  volume = {23},
  pages = {146--156},
  number = {3},
  doi = {http://dx.doi.org/10.1109/32.585502},
  issn = {0098-5589},
  publisher = {IEEE Press},
}

@INPROCEEDINGS{rothermel02:impact,
  author = {Gregg Rothermel and Sebastian
     Elbaum and Alexey Malishevsky and Praveen Kallakuri and Brian Davia},
  title = {The impact of test suite granularity on the cost-effectiveness of regression testing},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2002},
  pages = {130--140},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/581339.581358},
  isbn = {1-58113-472-X},
  location = {Orlando, Florida},
}

@ARTICLE{rothermel97:safe,
  author = {Gregg Rothermel and Mary Jean Harrold},
  title = {A safe, efficient regression test selection technique},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {1997},
  volume = {6},
  pages = {173--210},
  number = {2},
  doi = {http://doi.acm.org/10.1145/248233.248262},
  issn = {1049-331X},
}

@INPROCEEDINGS{rothermel98:empirical,
  author = {Gregg Rothermel and Mary Jean Harrold and Jeffery Ostrin and Christie Hong},
  title = {An Empirical Study of the Effects of
     Minimization on the Fault Detection Capabilities of Test Suites},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {1998},
  pages = {34--43},
  isbn = {0-8186-8779-7},
}

@ARTICLE{rothermel01:prioritizing,
  author = {Gregg Rothermel and Roland J. Untch and Chengyun Chu},
  title = {Prioritizing Test Cases For Regression Testing},
  journal = {IEEE Transactions on Software Engineering},
  year = {2001},
  volume = {27},
  pages = {929--948},
  number = {10},
  doi = {http://dx.doi.org/10.1109/32.962562},
  issn = {0098-5589},
  publisher = {IEEE Press},
}

@INPROCEEDINGS{rountev04:precise,
  author = {Atanas Rountev},
  title = {Precise Identification of Side-effect-free Methods in {Java}},
  booktitle = {Proceedings of the IEEE International Conference on Software Maintenance (ICSM)},
  year = {2004},
  pages = {82--91},
  month = {Sept.},
}

@INPROCEEDINGS{rountev03:fragment,
  author = {Atanas Rountev and Ana Milanova and Barbara G. Ryder},
  title = {Fragment class analysis for testing of polymorphism in {Java} software},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2003},
  pages = {210--220},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1877-X},
  location = {Portland, Oregon},
}

@INPROCEEDINGS{saff04:automatic,
  author = {David Saff and Michael D. Ernst},
  title = {Automatic mock object creation for test factoring},
  booktitle = {Proceedings of the ACM SIGPLAN/SIGSOFT Workshop
     on Program Analysis for Software Tools and Engineering (PASTE)},
  year = {2004},
  pages = {49--51},
  address = {Washington, DC},
  month = {June},
}

@INPROCEEDINGS{saff03:reducing,
  author = {David Saff and Michael D. Ernst},
  title = {Reducing wasted development time via continuous testing},
  booktitle = {Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)},
  year = {2003},
  pages = {281--292},
  address = {Denver, CO},
  month = {November},
}

@TECHREPORT{salcianu01:pointer,
  author = {Alexandru Salcianu},
  title = {Pointer analysis and its applications for {J}ava programs},
  institution = {MIT Laboratory for Computer Science},
  year = {2001},
  type = {Master's thesis},
}

@TECHREPORT{salcianu04:purity,
  author = {Alexandru Salcianu and Martin Rinard},
  title = {A Combined Pointer and Purity Analysis for {Java} Programs},
  institution = {MIT CSAIL},
  year = {2004},
  number = {MIT-LCS-TR-949},
  address = {Cambridge, MA},
  month = May,
}

@INPROCEEDINGS{schlenker02:pooc,
  author = {Hans Schlenker and Georg Ringwelski},
  title = {{POOC}: A Platform for Object-Oriented Constraint Programming},
  booktitle = {Proceedings of the International
     Workshop on Constraint Solving and Constraint Logic Programming},
  year = {2002},
  pages = {159--170},
  month = {June},
  location = {Cork, Ireland},
}

@INPROCEEDINGS{schmid02:comprehensive,
  author = {Klaus Schmid},
  title = {A comprehensive product line scoping approach and its validation},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2002},
  pages = {593--603},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/581339.581415},
  isbn = {1-58113-472-X},
  location = {Orlando, Florida},
}

@INPROCEEDINGS{schroeder04:generating,
  author = {Patrick J. Schroeder and Pat Faherty and Bogdan Korel},
  title = {Generating expected results for automated black-box testing},
  booktitle = {Proceedings of the International Conference on Automated Software Engineering (ASE)},
  year = {2002},
  pages = {139--148},
  month = {September},
  location = {Edinburgh, UK},
}

@INPROCEEDINGS{souter01:incremental,
  author = {Amie L. Souter and Lori L. Pollock},
  title = {Incremental Call Graph Reanalysis for Object-Oriented Software Maintenance},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {2001},
  pages = {682--691},
  publisher = {IEEE Computer Society},
}

@INPROCEEDINGS{souter03:testing,
  author = {Amie L. Souter and David Shepherd and Lori L. Pollock},
  title = {Testing with Respect to Concerns},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {2003},
  pages = {54},
}

@INPROCEEDINGS{srivastava02:effectively,
  author = {Amitabh Srivastava and Jay Thiagarajan},
  title = {Effectively prioritizing tests in development environment},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2002},
  pages = {97--106},
  location = {Roma, Italy},
}

@MISC{stotts98:java,
  author = {David Stotts and David Kennedy and Sheila Knight and Tim Preston and Ibrahim Salama},
  title = {The Java Tester tool},
  month = {April},
  year = {1998},
  source = {http://www.cs.unc.edu/~stotts/danish/web/},
}

@INPROCEEDINGS{stotts02:jax,
  author = {David Stotts and Mark Lindsey and Angus Antley},
  title = {An informal formal method for systematic {JUnit} test case generation},
  booktitle = {Proceedings of the XP/Agile Universe Conference},
  year = {2002},
  pages = {131--143},
  location = {Chicago, Illinois, United States},
}

@INPROCEEDINGS{sullivan04:software,
  author = {Kevin Sullivan and Jinlin Yang and David Coppit and Sarfraz Khurshid and Daniel Jackson},
  title = {Software assurance by bounded exhaustive testing},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2004},
  pages = {133--142},
  location = {Boston, Massachusetts},
}

@BOOK{szyperski98:component,
  title = {Component Software: Beyond Object-Oriented Programming},
  publisher = {ACM Press and Addison-Wesley},
  year = {1998},
  author = {Clemens Szyperski},
  address = {New York, NY},
  annotate = {An excellent overview of component-based programming. Many references.},
  key = {Szperski},
}

@INPROCEEDINGS{tarr99:degrees,
  author = {Peri Tarr and Harold Ossher and William Harrison and Stanley M. Sutton, Jr.},
  title = {N degrees of separation: multi-dimensional separation of concerns},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1999},
  pages = {107--119},
}

@MISC{aspectj03:aspectj,
  author = {The AspectJ Team},
  title = {The {A}spect{J} Programming Guide},
  howpublished = {Online manual},
  year = {2003},
  url = {http://eclipse.org/aspectj/},
}

@INPROCEEDINGS{thompson93:information,
  author = {Margaret C. Thompson and Debra J. Richardson and Lori A. Clarke},
  title = {An information flow model of fault detection},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {1993},
  pages = {182--192},
  doi = {http://doi.acm.org/10.1145/154183.154270},
  isbn = {0-89791-608-5},
  location = {Cambridge, Massachusetts, United States},
}

@INPROCEEDINGS{tonella04:evolutionary,
  author = {Paolo Tonella},
  title = {Evolutionary testing of classes},
  booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2004},
  pages = {119--128},
  location = {Boston, Massachusetts},
}

@INPROCEEDINGS{turner93:state,
  author = {Christopher D. Turner and David J. Robson},
  title = {The State-Based Testing of Object-Oriented Programs},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {1993},
  pages = {302--310},
  isbn = {0-8186-4600-4},
}

@inproceedings{visser00:model,
 author = {Willem Visser and Klaus Havelund and Guillaume Brat and SeungJoon Park},
 title = {Model Checking Programs},
 booktitle = {Proceedings of the International Conference on Automated Software Engineering (ASE)},
 year = {2000},
 isbn = {0-7695-0710-7},
 pages = {3--12},
 volume = {00},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@INPROCEEDINGS{visser04:test,
  author = {Willem Visser and Corina S. Pasareanu and Sarfraz Khurshid},
  title = {Test input generation with {J}ava {P}ath{F}inder},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2004},
  pages = {97--107},
  isbn = {1-58113-820-2},
  location = {Boston, Massachusetts},
}

@INPROCEEDINGS{visser00:using,
  author = {William Visser and SeungJoon Park and John Penix},
  title = {Using predicate abstraction to reduce object-oriented programs for model checking},
  booktitle = {Proceedings of the Workshop on Formal Methods in Software Practice (FMSP)},
  year = {2000},
  pages = {3--182},
  doi = {http://doi.acm.org/10.1145/349360.351125},
  isbn = {1-58113-262-X},
  location = {Portland, Oregon, United States},
}

@INPROCEEDINGS{vivien01:incrementalized,
  author = {Frederic Vivien and Martin Rinard},
  title = {Incrementalized pointer and escape analysis},
  booktitle = {Proceedings of the ACM SIGPLAN
     Conference on Programming Language Design and Implementation (PLDI)},
  year = {2001},
  pages = {35--46},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/378795.378804},
  isbn = {1-58113-414-2},
  location = {Snowbird, Utah, United States},
}

@ARTICLE{voas92:pie,
  author = {Jeffrey M. Voas},
  title = {{PIE}: A Dynamic Failure-Based Technique},
  journal = {IEEE Transactions on Software Engineering},
  year = {1992},
  volume = {18},
  pages = {717--727},
  number = {8},
  doi = {http://dx.doi.org/10.1109/32.153381},
  issn = {0098-5589},
  publisher = {IEEE Press},
}

@INPROCEEDINGS{weiser81:program,
  author = {Mark Weiser},
  title = {Program slicing},
  booktitle = {Proc. of ASE},
  year = {1981},
}

@BOOK{weiss99:data,
  title = {Data Structures and Algorithm Analysis in Java},
  publisher = {Addison Wesley},
  year = {1999},
  author = {Mark Allen Weiss},
}

@ARTICLE{weyuker80:theories,
  author = {Elaine J. Weyuker and Thomas J. Ostrand},
  title = {Theories of Program Testing and the Application of Revealing Subdomains},
  journal = {IEEE Transactions on Software Engineering},
  year = {1980},
  volume = {6},
  pages = {236-246},
  number = {3},
}

@INPROCEEDINGS{whaley02:automatic,
  author = {John Whaley and Michael C. Martin and Monica S. Lam},
  title = {Automatic extraction of object-oriented component interfaces},
  booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2002},
  pages = {218--228},
  doi = {http://doi.acm.org/10.1145/566172.566212},
  isbn = {1-58113-562-9},
  location = {Roma, Italy},
}

@INPROCEEDINGS{wong97:study,
  author = {W. Eric Wong and Joseph R. Horgan and Saul London and Hira Agrawal Bellcore},
  title = {A Study of Effective Regression Testing in Practice},
  booktitle = {Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)},
  year = {1997},
  pages = {230--238},
}

@INPROCEEDINGS{wong95:effect,
  author = {W. Eric Wong and Joseph R. Horgan and Saul London and Aditya P. Mathur},
  title = {Effect of test set minimization on fault detection effectiveness},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1995},
  pages = {41--50},
  location = {Seattle, Washington},
}

@INPROCEEDINGS{wong97:test,
  author = {W. Eric Wong and Joseph R. Horgan and Aditya P. Mathur and Alberto Pasquini},
  title = {Test Set Size Minimization and
     Fault Detection Effectiveness: A Case Study in a Space Application},
  booktitle = {Proceedings of the International Computer Software and Applications Conference (COMPSAC)},
  year = {1997},
  pages = {522--528},
  month = {August},
}

@INPROCEEDINGS{xie04:special,
  author = {Tao Xie},
  title = {Automatic Identification of
     Common and Special Object-Oriented Unit Tests},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on
     Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)},
  year = {2004},
  pages = {324--325},
  note = {(Companion)},
  location = {Vancouver, BC, Canada},
}

@TECHREPORT{xie04:improving,
  author = {Tao Xie and Darko Marinov and David Notkin},
  title = {Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests},
  institution = {University of Washington Department of Computer Science and Engineering },
  year = {2004},
  type = {Technical Report},
  number = {UW-CSE-04-01-05},
  address = {Seattle, WA},
  month = {Jan.},
}

@INPROCEEDINGS{xie04:rostra,
  author = {Tao Xie and Darko Marinov and David Notkin},
  title = {Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests},
  booktitle = {Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  year = {2004},
  pages = {196--205},
  month = Sep,
  location = {Linz, Austria},
}

@INPROCEEDINGS{xie05:symstra,
  author = {Tao Xie and Darko Marinov and Wolfram Schulte and David Notkin},
  title = {Symstra: A Framework
     for Generating Object-Oriented Unit Tests using Symbolic Execution},
  booktitle = {Proceedings of the International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)},
  year = {2005},
  pages = {365--381},
  month = Apr,
  location = {Edinburgh, UK},
}

@INPROCEEDINGS{xie04:automatic,
  author = {Tao Xie and David Notkin},
  title = {Automatic Extraction of
     Object-Oriented Observer Abstractions from Unit-Test Executions},
  booktitle = {Proceedings of the International Conference on Formal Engineering Methods (ICFEM)},
  year = {2004},
  month = {Nov.},
  location = {Seattle, WA},
}

@INPROCEEDINGS{xie04:checking,
  author = {Tao Xie and David Notkin},
  title = {Checking inside the black box: Regression testing based on value spectra differences},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {2004},
  pages = {28-37},
  month = {September},
}

@INPROCEEDINGS{xie03:mutually,
  author = {Tao Xie and David Notkin},
  title = {Mutually Enhancing Test Generation and Specification Inference},
  booktitle = {Proceedings of the International Workshop on Formal Approaches to Testing of Software (FATES)},
  year = {2003},
  volume = {2931},
  series = {LNCS},
  pages = {60--69},
}

@INPROCEEDINGS{xie03:tool,
  author = {Tao Xie and David Notkin},
  title = {Tool-Assisted Unit Test Selection Based on Operational Violations},
  booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
  year = {2003},
  pages = {40--48},
  location = {Montreal, Canada},
}

@TECHREPORT{xie02:checking,
  author = {Tao Xie and David Notkin},
  title = {Checking Inside the Black Box: Regression
     Fault Exposure and Localization Based on Value Spectra Differences},
  institution = {University of Washington Department of Computer Science and Engineering },
  year = {2002},
  type = {Technical Report},
  number = {UW-CSE-02-12-04},
  address = {Seattle, WA},
  month = {December},
}

@INPROCEEDINGS{xu04:aspect,
  author = {Weifeng Xu and Dianxiang Xu and Vivek Goel and Ken Nygard},
  title = {Aspect Flow Graph for Testing Aspect-Oriented Programs},
  booktitle = {Proceedings of the IASTED International Conference on Software Engineering and Applications (SEA)},
  year = {2004},
}

@INPROCEEDINGS{yang04:dynamically,
  author = {Jinlin Yang and David Evans},
  title = {Dynamically inferring temporal properties},
  booktitle = {Proceedings of the ACM-SIGPLAN-SIGSOFT
     Workshop on Program Analysis for Software Tools and Engineering (PASTE)},
  year = {2004},
  pages = {23--28},
  doi = {http://doi.acm.org/10.1145/996821.996832},
  isbn = {1-58113-910-1},
  location = {Washington, DC},
}

@INPROCEEDINGS{yur99:incremental,
  author = {Jyh-shiarn Yur and Barbara G. Ryder and William A. Landi},
  title = {An incremental flow- and context-sensitive pointer aliasing analysis},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {1999},
  pages = {442--451},
  publisher = {IEEE Computer Society Press},
  isbn = {1-58113-074-0},
  location = {Los Angeles, California, United States},
}

@INPROCEEDINGS{zeller02:isolating,
  author = {Andreas Zeller},
  title = {Isolating cause-effect chains from computer programs},
  booktitle = {Proc. of FSE},
  year = {2002},
}

@INPROCEEDINGS{zeller99:yesterday,
  author = {Andreas Zeller},
  title = {Yesterday, my program worked. {Today}, it does not. {Why}?},
  booktitle = {Proc. of ESEC/FSE},
  year = {1999},
}

@INPROCEEDINGS{zhao03:data,
  author = {Jianjun Zhao},
  title = {Data-Flow-Based Unit Testing of Aspect-Oriented Programs},
  booktitle = {Proceedings of the IEEE International Computer Software and Applications Conference (COMPSAC)},
  year = {2003},
  pages = {188-197},
  month = {Nov.},
}

@INPROCEEDINGS{zhao02:tool,
  author = {Jianjun Zhao},
  title = {Tool Support for Unit Testing of Aspect-Oriented Software},
  booktitle = {Proceedings of OOPSLA Workshop on Tools for Aspect-Oriented Software Development},
  year = {2002},
  month = {Nov.},
}

@INPROCEEDINGS{zhao03:pipa,
  author = {Jianjun Zhao and Martin Rinard},
  title = {Pipa: A Behavioral Interface Specification Language for {A}spect{J}},
  booktitle = {Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE)},
  year = {2003},
  pages = {150-165},
  month = {April},
}

@ARTICLE{zhu97:software,
  author = {Hong Zhu and Patrick A. V. Hall and John H. R. May},
  title = {Software unit test coverage and adequacy},
  journal = {ACM Computing Surverys},
  year = {1997},
  volume = {29},
  pages = {366--427},
  number = {4},
}

@INPROCEEDINGS{zimmermann04:mining,
  author = {Thomas Zimmermann and Peter WeiBgerber and Stephan Diehl and Andreas Zeller},
  title = {Mining Version Histories to Guide Software Changes},
  booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
  year = {2004},
  location = {Edinburgh, UK},
}

@INPROCEEDINGS{zimmermann01:visualizing,
  author = {Thomas Zimmermann and Andreas Zeller},
  title = {Visualizing Memory Graphs},
  booktitle = {the Dagstuhl Seminar on Software Visualization},
  year = {2001},
  volume = {2269},
  series = {LNCS},
  pages = {191--204},
}

@INPROCEEDINGS{ziv97:constructing,
  author = {Hadar Ziv and Debra J. Richardson},
  title = {Constructing Bayesian-network models of software testing and maintenance uncertainties},
  booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
  year = {1997},
  pages = {100--109},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-8013-X},
}

@UNPUBLISHED{AsmL,
  author = {{Foundations of Software Engineering at Microsoft Research}},
  title = {Abstract state machine Language},
  note = {\newurl{http://research.microsoft.com/fse/AsmL}},
}


@UNPUBLISHED{AsmLT,
  author = {{Foundations of Software Engineering at Microsoft Research}},
  title = {The {AsmL} Test Generator tool},
  note = {\newurl{http://research.microsoft.com/fse/asml/doc/AsmLTester.html}},
}

@UNPUBLISHED{gnu02:diff,
  author = {{GNU}},
  title = {{GNU} Diffutils},
  note = {\newurl{http://www.gnu.org/software/diffutils/}},
  year = {2002},
}

@MISC{daisy-cav04,
  author = {Shaz Qadeer},
  title = {{Daisy File System}},
  note = {Joint CAV/ISSTA Special Event on Specification, Verification, and Testing of Concurrent Software. 2004},
  url = {\newurl{http://research.microsoft.com/~qadeer/cav-issta.htm}},
  key = {daisy},
}

@MISC{sun03:java2,
  author = {{S}un {M}icrosystems},
  title = {{J}ava 2 {P}latform, {S}tandard {E}dition, v 1.4.2, {API} {S}pecification},
  howpublished = {Online documentation},
  month = {Nov.},
  year = {2003},
  note = {\newurl{http://java.sun.com/j2se/1.4.2/docs/api/}},
}

@MISC{javadiff-website,
  title = {{javadiff-website}},
  year = {2010},
  note = {\newurl{http://www.incava.org\Comment{/projects/java/java-diff/}}},
  key = {javadiff},
}



@MISC{jml06:website,
  title = {{JML website}},
  year = {2006},
  note = {\newurl{http://www.jmlspecs.org/}},
  key = {jmlspecs},
}

@MISC{abbot04:abbot,
  title = {Abbot 0.13.1},
  year = {2004},
  note = {\newurl{http://abbot.sourceforge.net/}},
  key = {Abbot},
}

@MISC{agitar05:agitator,
  title = {Agitar {A}gitatior 3.0},
  year = {2005},
  note = {\newurl{http://www.agitar.com/}},
  key = {Agitar},
}

@MISC{aspectj04:aspectj,
  title = {{A}spect{J} compiler 1.2},
  month = {May},
  year = {2004},
  note = {\newurl{http://eclipse.org/aspectj/}},
}

@MISC{dbunit04:dbunit,
  title = {Db{U}nit 2.1},
  year = {2004},
  note = {\newurl{http://dbunit.sourceforge.net/}},
  key = {DbUnit},
}

@MISC{msvs04:microsoft,
  title = {Microsoft {V}isual {S}tudio {D}eveloper {C}enter},
  year = {2004},
  note = {\newurl{http://msdn.microsoft.com/vstudio/}},
  key = {Microsoft {V}isual {S}tudio {D}eveloper {C}enter},
}

@MISC{parasoft04unused:jtest,
   title = {Parasoft {J}test manuals version 5.1},
   howpublished = {Online manual},
   month = {July},
   year = {2004},
   note = {\newurl{http://www.parasoft.com/}},
   key = {Parasoft},
}

@MISC{hansel03,
  title = {Hansel 1.0},
  year = {2003},
  note = {\newurl{http://hansel.sourceforge.net/}},
  key = {Hansel 1.0},
  keywords = {testing},
}

@MISC{jcoverage03:jcoverage,
  title = {JCoverage 1.0.5},
  year = {2003},
  note = {\newurl{http://jcoverage.com/}},
  key = {JCoverage},
}

@MISC{parasoft03:jtest,
  title = {Parasoft {J}test manuals version 4.5},
  howpublished = {Online manual},
  month = {April},
  year = {2003},
  note = {\newurl{http://www.parasoft.com/}},
  key = {Parasoft},
}

@MISC{quilt03:quilt,
  title = {Quilt 0.6a},
  month = {October},
  year = {2003},
  note = {\newurl{http://quilt.sourceforge.net/}},
  key = {Quilt},
}

@MISC{robot03:robot,
  title = {{IBM} {R}ational {R}obot v2003},
  year = {2003},
  note = {\newurl{http://www-306.ibm.com/software/awdtools/tester/robot/}},
  key = {Robot},
}

@TECHREPORT{nist02:economic,
  title = {National {I}nstitute of {S}tandards and {T}echnology. {T}he
     economic impacts of inadequate infrastructure for software testing},
  year = {2002},
  type = {Planning Report},
  number = {02-3},
  month = {May},
  key = {NIST},
}

@MANUAL{sun01:java2,
  title = {{J}ava 2 {P}latform, {S}tandard {E}dition, v1.3.1 {API} {S}pecification},
  organization = {{S}un {M}icrosystems},
  year = {2001},
  note = {\newurl{http://java.sun.com/j2se/1.3/docs/api/}},
}


@article{hamlet87:probable,
 author = {Richard G. Hamlet},
 title = {Probable correctness theory},
 journal = {Information Processing Letters},
 volume = {25},
 number = {1},
 year = {1987},
 pages = {17--25},
 }

@phdthesis{khurshid03:PhD,
   author = {Sarfraz Khurshid},
   title = {Generating Structurally Complex Tests from Declarative Constraints},
   school = {MIT Department of Electrical Engineering and Computer Science},
   type = {{Ph.D.}},
   address = {Cambridge, MA},
   month = {December},
   year = {2003}
}

@phdthesis{marinov05:PhD,
   author = {Darko Marinov},
   title = {Automatic Testing of Software with Structurally Complex Inputs},
   school = {MIT Department of Electrical Engineering and Computer Science},
   type = {{Ph.D.}},
   address = {Cambridge, MA},
   month = {February},
   year = {2005}
}


@TECHREPORT{marinov03:evaluation,
  author = {Darko Marinov and Alexandr Andoni and Dumitru Daniliuc and Sarfraz Khurshid and Martin Rinard},
  title = {An evaluation of exhaustive testing for data structures},
  institution = {MIT CSAIL},
  month = {September},
  year = {2003},
  type = {Technical Report},
  number = {MIT-LCS-TR-921},
  address = {Cambridge, MA},
}

@INPROCEEDINGS{netisopakul02-1:data,
  author = {Ponrudee Netisopakul and Lee J. White and John Morris and Daniel Hoffman},
  title = {Data coverage testing of programs for container classes},
  booktitle = {Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)},
  year = {2002},
  pages = {465--472},
  month = {November},
}

@INPROCEEDINGS{netisopakul02-2:data,
  author = {Ponrudee Netisopakul and Lee J. White and John Morris},
  title = {Data coverage testing},
  booktitle = {Proceedings of the Asia-Pacific Software Engineering Conference (APSEC)},
  year = {2002},
  pages = {465},
  month = {December},
}

@inproceedings{flanagan01:houdini,
 author = {Cormac Flanagan and K. Rustan M. Leino},
 title = {Houdini, an Annotation Assistant for {ESC}/{Java}},
 booktitle = {Proceedings of the International Symposium of Formal Methods Europe (FME)},
 year = {2001},
 pages = {500--517},
 address = {London, UK},
 }

@INPROCEEDINGS{cobleigh05:learning,
  author = {Jamieson M. Cobleigh and Dimitra Giannakopoulou and Corina S. Pasareanu},
  title = {Learning Assumptions for Compositional Verification},
  booktitle = {Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  year = {2003},
  pages = {331--346},
  month = {April},
  location = {Warsaw, Poland},
}

@inproceedings{giannakopoulou02:assumption,
 author = {Dimitra Giannakopoulou and Corina S. Pasareanu and Howard Barringer},
 title = {Assumption Generation for Software Component Verification},
 booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
 year = {2002},
 pages = {3--12},
 address = {Washington, DC},
 }

@inproceedings{naumovich00:toward,
 author = {Gleb Naumovich and Phyllis G. Frankl},
 title = {Toward Synergy of Finite State Verification and Testing},
 booktitle = {Proceedings of the International Workshop on Automated Program Analysis, Testing and Verification},
 year = {2000},
 month = {June},
 pages = {89--94},
 }

@inproceedings{pettis90:profile,
 author = {Karl Pettis and Robert C. Hansen},
 title = {Profile guided code positioning},
 booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
 year = {1990},
 pages = {16--27},
 location = {White Plains, New York},
 }


@inproceedings{groce02:adaptive,
 author = {Alex Groce and Doron Peled and Mihalis Yannakakis},
 title = {Adaptive Model Checking},
 booktitle = {Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
 year = {2002},
 month = {April},
 pages = {357--370},
 location = {Grenoble, France},
 }

@inproceedings{peled99:black,
 author = {Doron Peled and Moshe Y. Vardi and Mihalis Yannakakis},
 title = {Black Box Checking},
 booktitle = {Proceedings of the International Conference on Formal Description Techniques (FORTE) for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV)},
 year = {1999},
 month = {October},
 pages = {225--240},
 location = {Beijing, China},
 }


@inproceedings{budd80:theoretical,
 author = {Timothy A. Budd and Richard A. DeMillo and Richard J. Lipton and Frederick G. Sayward},
 title = {Theoretical and empirical studies on using program mutation to test the functional correctness of programs},
 booktitle = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
 year = {1980},
 pages = {220--233},
 location = {Las Vegas, Nevada},
 }

@inproceedings{heimdahl02:deviation,
 author = {Mats P. E. Heimdahl and Yunja Choi and Mike Whalen},
 title = {Deviation Analysis Through Model Checking},
 booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
 year = {2002},
 isbn = {0-7695-1736-6},
 pages = {37},
 publisher = {IEEE Computer Society},
 }

@inproceedings{way98:using,
    author = {Tom Way and Lori Pollock},
    title = {Using Path Spectra to Direct Function Cloning},
    booktitle = {Proceedings of the Workshop on Profile and Feedback-directed Compilation (PACT)},
    month = {October},
    year = {1998},
    pages = {40--47},
}

@article{621514,
 author = {Thomas Ball and James R. Larus},
 title = {Using Paths to Measure, Explain, and Enhance Program Behavior},
 journal = {Computer},
 volume = {33},
 number = {7},
 year = {2000},
 issn = {0018-9162},
 pages = {57--65},
 doi = {http://dx.doi.org/10.1109/2.869371},
 publisher = {IEEE Computer Society Press},
 }

@inproceedings{381509,
 author = {William Dickinson and David Leon and Andy Podgurski},
 title = {Finding failures by cluster analysis of execution profiles},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2001},
 isbn = {0-7695-1050-7},
 pages = {339--348},
 location = {Toronto, Ontario, Canada},
 publisher = {IEEE Computer Society},
 }

@inproceedings{503243,
 author = {William Dickinson and David Leon and Andy Podgurski},
 title = {Pursuing failure: the distribution of program failures in a profile space},
 booktitle = {Proceedings of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE))},
 year = {2001},
 isbn = {1-58113-390-1},
 pages = {246--255},
 location = {Vienna, Austria},
 doi = {http://doi.acm.org/10.1145/503209.503243},
 publisher = {ACM Press},
 }

@inproceedings{337195,
 author = {David Leon and Andy Podgurski and Lee J. White},
 title = {Multivariate visualization in observation-based testing},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2000},
 isbn = {1-58113-206-9},
 pages = {116--125},
 location = {Limerick, Ireland},
 doi = {http://doi.acm.org/10.1145/337180.337195},
 publisher = {ACM Press},
 }

@inproceedings{steven00:jrapture,
 author = {John Steven and Pravir Chandra and Bob Fleck and Andy Podgurski},
 title = {jRapture: A Capture/Replay tool for observation-based testing},
 booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
 year = {2000},
 pages = {158--167},
 location = {Portland, Oregon},
 }

@article{mccabe76:complexity,
 author = {Thomas J. McCabe},
 title = {A complexity measure},
 journal = {IEEE Transaction on Software Engineering},
 volume = {2},
 number = {4},
 year = {1976},
 month={December},
 pages = {308--320},
 }

@inproceedings{leung89:insight,
 author = {H. K. N. Leung and L. White},
 title = {Insights into regression testing},
 booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
 year = {1989},
 pages = {60--69},
}

@inproceedings{leung90:study,
 author = {H. K. N. Leung and L. White},
 title = {A study of integration testing and software regression at the integration level},
 booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
 year = {1990},
 pages = {290--300},
}

@inproceedings{leung92:firewall,
 author = {L. White and H. K. N. Leung},
 title = {A firewall concept for both control-flow and data-flow in regression integration testing},
 booktitle = {Proceedings of the International Conference on Software Maintenance (ICSM)},
 year = {1992},
 pages = {262--271},
}

@inproceedings{winstead03:towards,
 author = {Joel Winstead and David Evans},
 title = {Towards Differential Program Analysis},
 booktitle = {Proceedings of the ICSE Workshop on Dynamic Analysis (WODA)},
 year = {2003},
 month = {May},
 location = {Portland, Oregon},
 }

@inproceedings{chen94:testtube,
 author = {Yih-Farn Chen and David S. Rosenblum and Kiem-Phong Vo},
 title = {TestTube: a system for selective regression testing},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {1994},
 pages = {211--220},
 }

@MISC{wilde03:recon,
  author =       "Norman Wilde",
  title =        "The RECON Software Reconnaissance tool",
  year =         "2003",
  month =        "Feburary",
  note = {\newurl{http://www.cs.uwf.edu/~recon/}},
  source =       "http://www.cs.uwf.edu/~recon/",
}

@article{wilde95:software,
 author = {Norman Wilde and Michael C. Scully},
 title = {Software reconnaissance: mapping program features to code},
 journal = {Journal of Software Maintenance},
 volume = {7},
 number = {1},
 year = {1995},
 pages = {49--62},
 publisher = {John Wiley \& Sons, Inc.},
 }

@inproceedings{perkins04:efficient,
 author = {Jeff H. Perkins and Michael D. Ernst},
 title = {Efficient incremental algorithms for dynamic detection of likely invariants},
 booktitle = {Proceedings of the International Symposium on Foundations of Software Engineering (FSE)},
 year = {2004},
 pages = {23--32},
 location = {Newport Beach, CA},
 }

@misc{daikon04:daikon,
  key = {Daikon},
  title = {Publications using the {D}aikon invariant detector tool},
  note = {\newurl{http://www.pag.csail.mit.edu/daikon/pubs-using/}},
  year = {2004},
}

@TECHREPORT{leino00:escjava,
  AUTHOR =       "K. Rustan M. Leino and Greg Nelson and James B. Saxe",
  TITLE =        "{ESC}/{J}ava user's manual",
  INSTITUTION =  "Compaq Systems Research Center",
  YEAR =         "2000",
  type =         "Technical Report",
  number =       "2000-002",
  address =      "Palo Alto, CA",
  month =        "October",
}

@TECHREPORT{nimmer02:automatic,
  AUTHOR =       "Jeremy W. Nimmer",
  TITLE =        "Automatic Generation and Checking of Program Specifications",
  INSTITUTION =  "MIT Laboratory for Computer Science",
  YEAR =         "2002",
  type =         "Technical Report",
  number =       "852",
  address =      "Cambridge, MA",
  month =        "June",
}

@article{rothermel01:test,
 author = {Gregg Rothermel and Roland Untch and Chengyun Chu and Mary Jean Harrold},
 title = {Prioritizing Test Cases For Regression Testing},
 journal = {IEEE Transactions on Software Engineering},
 volume = {27},
 number = {10},
 year = {2001},
 pages = {929--948},
 }

@inproceedings{amla92:using,
 author = {Nina Amla and Paul Ammann},
 title = {Using {Z} specifications in category partition testing},
 booktitle = {Proceedings of the Conference on Computer Assurance (COMPASS)},
 month = {June},
 year = {1992},
 pages = {3--10},
 location = {Gaithersburg, MD},
}

@inproceedings{ammann94:using,
 author = {Paul Ammann and Jeff Offutt},
 title = {Using Formal Methods To Derive Test Frames in Category-Partition Testing },
 booktitle = {Proceedings of the Conference on Computer Assurance (COMPASS)},
 month = {June},
 year = {1994},
 pages = {69--80},
 location = {Gaithersburg, MD},
}

@book{hetzel84:complete,
 author = {Bill Hetzel},
 title = {The complete guide to software testing (2nd ed.)},
 year = {1984},
 publisher = {Collins},
}


@inproceedings{jackson01:micromodularity,
 author = {Daniel Jackson and Ilya Shlyakhter and Manu Sridharan},
 title = {A micromodularity mechanism},
 booktitle = {Proceedings of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE)},
 year = {2001},
 pages = {62--73},
 location = {Vienna, Austria},
 }

@inproceedings{jackson00:alcoa,
 author = {Daniel Jackson and Ian Schechter and Hya Shlyahter},
 title = {Alcoa: the alloy constraint analyzer},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2000},
 pages = {730--733},
 location = {Limerick, Ireland},
 }


@book{gries87:science,
 author = {David Gries},
 title = {The Science of Programming},
 year = {1987},
 address = {Secaucus, NJ},
 }

@inproceedings{holzmann97:state,
   author = {Gerard Holzmann},
   title = {State Compression in {Spin}},
   year = {1997},
   booktitle = {Proceedings of the SPIN Workshop on Software Model Checking (SPIN)},
   month = {April},
   address = {Twente University, The Netherlands},
}

@inproceedings{lerda01:addressing,
   author = {Flavio Lerda and Willem Visser},
   title = {Addressing Dynamic Issues of Program Model Checking},
   year = {2001},
   booktitle = {Proceedings of the SPIN Workshop on Software Model Checking (SPIN)},
   month = {May},
}

@inproceedings{deline01:enforcing,
 author = {Robert DeLine and Manuel Fahndrich},
 title = {Enforcing high-level protocols in low-level software},
 booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
 year = {2001},
 pages = {59--69},
 location = {Snowbird, Utah},
 }

@inproceedings{das02:esp,
 author = {Manuvir Das and Sorin Lerner and Mark Seigle},
 title = {{ESP}: path-sensitive program verification in polynomial time},
 booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
 year = {2002},
 pages = {57--68},
 location = {Berlin, Germany},
 }

@inproceedings{butkevich00:compiler,
 author = {Sergey Butkevich and Marco Renedo and Gerald Baumgartner and Michal Young},
 title = {Compiler and tool support for debugging object protocols},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)},
 year = {2000},
 pages = {50--59},
 location = {San Diego, California},
 }

@article{chays04:agenda,
  author    = {David Chays and
               Yuetang Deng and
               Phyllis G. Frankl and
               Saikat Dan and
               Filippos I. Vokolos and
               Elaine J. Weyuker},
  title     = {An {AGENDA} for testing relational database applications},
  journal   = {Software Testing, Verification and Reliability},
  volume    = {14},
  number    = {1},
  year      = {2004},
  pages     = {17-44},
}

@inproceedings{memon99:using,
 author = {Atif M. Memon and Martha E. Pollack and Mary Lou Soffa},
 title = {Using a goal-driven approach to generate test cases for GUIs},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {1999},
 pages = {257--266},
 location = {Los Angeles, California},
 }

@inproceedings{dalal99:model,
 author = {S. R. Dalal and A. Jain and N. Karunanithi and J. M. Leaton and C. M. Lott and G. C. Patton and B. M. Horowitz},
 title = {Model-based testing in practice},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {1999},
 pages = {285--294},
 location = {Los Angeles, California},
}

@inproceedings{bershad99:using,
 author = {Emin Gun Sirer and Brian N. Bershad},
 title = {Using production grammars in software testing},
 booktitle = {Proceedings of the Conference on Domain-Specific Languages (DSL)},
 year = {1999},
 pages = {1--13},
 location = {Austin, Texas},
 }


@inproceedings{godefroid02:exploring,
 author = {Patrice Godefroid and Sarfraz Khurshid},
 title = {Exploring Very Large State Spaces Using Genetic Algorithms},
 booktitle = {Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
 year = {2002},
 pages = {266--280},
 address = {London, UK},
 }

@inproceedings{groce02:model,
 author = {Alex Groce and Willem Visser},
 title = {Model checking {J}ava programs using structural heuristics},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
 year = {2002},
 pages = {12--21},
 location = {Roma, Italy},
}

@inproceedings{tan04:heuristic,
 author = {Jianbin Tan and George S. Avrunin and Lori A. Clarke and Shlomo Zilberstein and Stefan Leue},
 title = {Heuristic-guided counterexample search in {FLAVERS}},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)},
 year = {2004},
 pages = {201--210},
 location = {Newport Beach, CA},
 }

@inproceedings{memon04:skoll,
 author = {Atif M. Memon and Adam Porter and Cemal Yilmaz and Adithya Nagarajan and Douglas C. Schmidt and Bala Natarajan},
 title = {Skoll: Distributed Continuous Quality Assurance},
 booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
 year = {2004},
 pages = {459--468},
}

@book{russell95:artificial,
 author = {Stuart Russell and Peter Norvig},
 title = {Artificial Intelligence: A Modern Approach},
 year = {1995},
 publisher = {Prentice-Hall},
 address = {Englewood Cliffs, NJ},
 }

@inproceedings{geppert04:towards,
  author    = {Birgit Geppert and
               Jenny Li and
               Frank R{\"o}{\ss}ler and
               David M. Weiss},
  title     = {Towards Generating Acceptance Tests for Product Lines},
  booktitle = {Proceedings of the International Conference on Software Reuse (ICSR)},
  year      = {2004},
  pages     = {35-48},
  location  = {Madrid, Spain},
  month       = {July},
}

@book{weiss99:software,
 author = {David M/ Weiss and Robert C.T. Lai},
 title = {Software Product-Line Engineering - A Family-Based Software Development Process},
 year = {1999},
 publisher = {Addison Wesley},
 }

@inproceedings{muccini04:towards,
  author    = {Henry Muccini and Andr\&\#233; van der Hoek },
  title     = {Towards Testing Product Line Architectures},
  booktitle = {Proceedings of the International Workshop on Testing and Analysis of Component Based Systems (TACoS)},
  year      = {2003},
  location  = {Warsaw, Poland},
  month       = {April},
}

@TECHREPORT{mcgregor01:testing,
  author = {John D. McGregor},
  title = {Testing a Software Product Line},
  institution = {Software Engineering Institute, Carnegie Mellon University},
  year = {2001},
  month = {December},
  type = {Technical Report},
  number = {CMU/SEI-2001-TR-022},
  address = {Fort Collins, Colorado},
}

@article{binder94:object,
 author = {Robert V. Binder},
 title = {Object-Oriented Software Testing},
 journal = {Communications of ACM},
 volume = {37},
 number = {9},
 year = {1994},
 pages = {28--29},
 }

@inproceedings{young03:symbiosis,
  author    = {Michal Young},
  title     = {Symbiosis of static analysis and program testing},
  booktitle = {Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE)},
  year      = {2003},
  month = {April},
  pages     = {1--5},
}

@inproceedings{ernst03:static,
   author = {Michael D. Ernst},
   title = {Static and dynamic analysis: Synergy and duality},
   booktitle = {Proceedings of the ICSE Workshop on Dynamic Analysis (WODA)},
   pages = {24--27},
   month = {May},
   year = {2003},
}

@inproceedings{csallner05:check,
   author = {Christoph Csallner and Yannis Smaragdakis},
   title = {{Check} 'n' {Crash}: Combining static checking and testing},
   booktitle = {Proceedings of teh International Conference on Software Engineering (ICSE)},
   pages = {422--431},
   month = {May},
   year = {2005},
}

@InProceedings{orso05:selective,
  author =   {Alessandro Orso and Bryan Kennedy},
  title =    {{Selective Capture and Replay of Program Executions}},
  booktitle =    {Proceedings of the International ICSE Workshop on Dynamic Analysis (WODA)},
  address =      {St. Louis, MO},
  month =    {May},
  year =     {2005},
  note =     {\newurl{http://www.csd.uwo.ca/woda2005/proceedings.html}},
}

@inproceedings{paradkar04:plannable,
  author    = {Amit M. Paradkar},
  title     = {Plannable Test Selection Criteria for {FSMs} Extracted From
               Operational Specifications.},
  booktitle = {Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)},
  year      = {2004},
  month     = {November},
  pages     = {173-184},
  location  = {Saint-Malo, France},
}

@INPROCEEDINGS{tillmann05:parameterized,
  author = {Nikolai Tillmann and Wolfram Schulte},
  title = {Parameterized Unit Tests},
  booktitle = {Proceedings of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE)},
  year = {2005},
  location = {Lisbon, Portugal},
}

@ARTICLE{potter04:software,
  author = {Bruce Potter and Gary McGraw},
  title = {Software Security Testing},
  journal = {IEEE Security and Privacy},
  year = {2004},
  volume = {2},
  pages = {81--85},
  number = {5},
}

@article{weyuker00:experience,
 author = {Elaine J. Weyuker and Filippos I. Vokolos},
 title = {Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study},
 journal = {IEEE Transactions on Software Engineering},
 volume = {26},
 number = {12},
 year = {2000},
 pages = {1147--1156},
 }

@inproceedings{vokolos98:performance,
 author = {Filippos I. Vokolos and Elaine J. Weyuker},
 title = {Performance testing of software systems},
 booktitle = {Proceedings of the International Workshop on Software and Performance (WOSP)},
 year = {1998},
 pages = {80--87},
 location = {Santa Fe, New Mexico},
 }

@InProceedings{halfond05:combining,
  author =   {William G.J. Halfond and Alessandro Orso},
  title =    {{Combining Static Analysis and Runtime Monitoring to Counter SQL-Injection Attacks}},
  booktitle =    {Proceedings of the International ICSE Workshop on Dynamic Analysis (WODA)},
  address =      {St. Louis, MO},
  month =    {May},
  year =     {2005},
  note =     {\newurl{http://www.csd.uwo.ca/woda2005/proceedings.html}},
}

@inproceedings{huang03:web,
 author = {Yao-Wen Huang and Shih-Kun Huang and Tsung-Po Lin and Chung-Hung Tsai},
 title = {Web application security assessment by fault injection and behavior monitoring},
 booktitle = {Proceedings of the International Conference on World Wide Web (WWW)},
 year = {2003},
 pages = {148--159},
 location = {Budapest, Hungary},
 }

@inproceedings{huang04:securing,
 author = {Yao-Wen Huang and Fang Yu and Christian Hang and Chung-Hung Tsai and Der-Tsai Lee and Sy-Yen Kuo},
 title = {Securing web application code by static analysis and runtime protection},
 booktitle = {Proceedings of the International Conference on World Wide Web (WWW)},
 year = {2004},
 pages = {40--52},
 location = {New York, NY},
 }

@article{avritzer96:deriving,
 author = {Alberto Avritzer and Elaine J. Weyuker},
 title = {Deriving workloads for performance testing},
 journal = {Software - Practice and Experience},
 volume = {26},
 number = {6},
 year = {1996},
 pages = {613--633},
 }

@inproceedings{kapfhammer03:family,
 author = {Gregory M. Kapfhammer and Mary Lou Soffa},
 title = {A family of test adequacy criteria for database-driven applications},
 booktitle = {Proceedings of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE)},
 year = {2003},
 pages = {98--107},
 location = {Helsinki, Finland},
 }

@inproceedings{chays00:framework,
 author = {David Chays and Saikat Dan and Phyllis G. Frankl and Filippos I. Vokolos and Elaine J. Weber},
 title = {A framework for testing database applications},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
 year = {2000},
 pages = {147--157},
 location = {Portland, Oregon},
 }


@BOOK{hoglund04:exploiting,
  author = {Greg Hoglund and Gary McGraw},
  title = {Exploiting Software},
  publisher = {Addison-Wesley},
  year = {2004},
}


@BOOK{whittaker03:how,
  author = {James A. Whittaker and Herbert H. Thompson},
  title = {How to Break Software Security},
  publisher = {Addison-Wesley},
  year = {2003},
}

@mastersthesis{zaytsev04:combinatorial,
    author = {Vadim V.~Zaytsev},
    title = {Combinatorial Test Set Generation: Concepts, Implementation, Case Study},
    school = {Universiteit Twente},
    year = {2004},
    address = {Enschede, The Netherlands},
    month = {June},
}

@inproceedings{gargantini99:using,
 author = {Angelo Gargantini and Constance Heitmeyer},
 title = {Using model checking to generate tests from requirements specifications},
 booktitle = {Proceedings of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE)},
 year = {1999},
 pages = {146--162},
 location = {Toulouse, France},
}


@article{weyuker94:automatically,
 author = {Elaine Weyuker and Tarak Goradia and Ashutosh Singh},
 title = {Automatically Generating Test Data from a Boolean Specification},
 journal = {IEEE Transactions on Software Engineering},
 volume = {20},
 number = {5},
 year = {1994},
 pages = {353--363},
 }


@inproceedings{ammann98:using,
 author = {Paul E. Ammann and Paul E. Black and William Majurski},
 title = {Using Model Checking to Generate Tests from Specifications},
 booktitle = {Proceedings of the IEEE International Conference on Formal Engineering Methods (ICFEM)},
 year = {1998},
 pages = {46},
 }


@inproceedings{engels97:test,
 author = {Andre Engels and Loe M. G. Feijs and Sjouke Mauw},
 title = {Test Generation for Intelligent Networks Using Model Checking},
 booktitle = {Proceedings of the International Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS)},
 year = {1997},
 pages = {384--398},
}

@INPROCEEDINGS{woit93:specifying,
 author = {Denise M. Woit},
 title = {Specifying operational profiles for modules},
   booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)},
  year = {1993},
  pages = {2--10},
  location = {Cambridge, Massachusetts},
}

@phdthesis{woit94:operational,
 author = {Denise M. Woit},
 title = {Operational profile specification, test case generation, and reliability estimation for modules},
 school = {Queen's University School of Computing},
 year = {1994},
  type = {{Ph.D.}},
  address = {Kingston, Ontario, Canada},
  month = {February},
}

@inproceedings{orso02:gamma,
  author =   {Alessandro Orso and Donglin Liang and Mary Jean Harrold and Richard Lipton},
  title =    {Gamma System: Continuous Evolution of Software after Deployment},
  booktitle =    {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
  pages =    {65--69},
  address =      {Rome, Italy},
  month =    {July},
  year =     {2002},
}

@inproceedings{orso03:leveraging,
  author =       {Alessandro Orso and Taweesup Apiwattanapong and Mary Jean Harrold},
  title =        {Leveraging field data for impact analysis and regression testing},
  booktitle =    {Proceedings of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE)},
  pages =        {128--137},
  address =      {Helsinki, Finland},
  month =        {September},
  year =         {2003},
}

@inproceedings{carver04:general,
  author    = {Richard H. Carver and
               Yu Lei},
  title     = {A General Model for Reachability Testing of Concurrent Programs.},
  booktitle = {Proceedings of the International Conference on Formal Engineering Methods (ICFEM)},
  month = {November},
  location = {Seattle, WA},
  year      = {2004},
  pages     = {76-98},
}


@INPROCEEDINGS{goldsmith04:light,
  author = {Simon Goldsmith and Robert O'Callahan and Alex Aiken},
  title = {Relational Queries Over Program Traces},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on
     Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)},
  month = {October},
  year = {2005},
  location = {San Diego, California},
}

@inproceedings{catano03:chase,
 author = {N{\'e}stor Cata{\~n}o and Marieke Huisman},
 title = {{CHASE}: A Static Checker for {JML}'s Assignable Clause},
 booktitle = {Proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)},
 year = {2003},
 pages = {26--40},
}

@inproceedings{ma02:interclass,
 author = {Yu-Seung Ma and Yong-Rae Kwon and Jeff Offutt},
 title = {Inter-Class Mutation Operators for {Java}},
 booktitle = {Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)},
 year = {2002},
 pages = {352--363},
 location = {Annapolis, Maryland},
 }

@inproceedings{ryder01:change,
 author = {Barbara G. Ryder and Frank Tip},
 title = {Change impact analysis for object-oriented programs},
 booktitle = {Proc. of Worshop on Program Analysis for Software Tools and Engineering (PASTE)},
 year = {2001},
}


@BOOK{heineman00:component,
  title = {Component Based Software Engineering: Putting the Pieces Together},
  publisher = {Addison-Wesley},
  year = {2001},
  author = {George T. Heineman and William T. Councill},
}

@BOOK{alonso02:web,
  title = {Web Services Concepts, Architectures and Applications Series: Data-Centric Systems and Applications},
  publisher = {Addison-Wesley Professional,},
  year = {2002},
  author = {G. Alonso and F. Casati and H. Kuno and V. Machiraju.},
}

@TechReport{detlefs03:simplify,
  AUTHOR =       "David Detlefs and Greg Nelson and James B. Saxe",
  TITLE =        "Simplify: a theorem prover for program checking",
  institution =  {HP Laboratories},
  YEAR =         {2003},
  month =        {July},
  number =       {HPL-2003-148},
  address =      {Palo Alto, CA}
}

@inproceedings{godefroid05:dart,
 author = {Patrice Godefroid and Nils Klarlund and Koushik Sen},
 title = {DART: directed automated random testing},
 journal = {SIGPLAN Notices},
 booktitle = {Procedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
 volume = {40},
 number = {6},
 year = {2005},
 issn = {0362-1340},
 pages = {213--223},
 doi = {http://doi.acm.org/10.1145/1064978.1065036},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }


@article{morell90:theory,
 author = {L. J. Morell},
 title = {A Theory of Fault-Based Testing},
 journal = {IEEE Transactions on Software Engineering},
 volume = {16},
 number = {8},
 year = {1990},
 issn = {0098-5589},
 pages = {844--857},
 }

@inproceedings{calder97:value,
 author = {Brad Calder and Peter Feller and Alan Eustace},
 title = {Value profiling},
 booktitle = {Proceedings of the ACM/IEEE International Symposium on Microarchitecture (MICRO)},
 year = {1997},
 pages = {259--269},
 location = {North Carolina},
 }

 @article{demillo78:hints,
 author = {Richard A. DeMillo and Richard J. Lipton and Frederick G. Sayward},
 title = {Hints on Test Data Selection: Help for the Practicing Programmer},
 journal = {IEEE Computer},
 volume = {11},
 number = {4},
 year = {1978},
 month = {April},
 pages = {34--41},
 }

@INPROCEEDINGS{xie05:automatic,
    author = {Tao Xie and Jianjun Zhao and Darko Marinov and David Notkin},
    title = {Automated Test Generation for {AspectJ} Program},
    booktitle = {Proceedings of the AOSD 05 Workshop on Testing Aspect-Oriented Programs (WTAOP 05)},
    month = {March},
    year = {2005},
    location = {Chicago, Illinois},
    url = {http://www.cs.washington.edu/homes/taoxie/publications/aspectjtestgen.pdf},
}

@TECHREPORT{xie04:detecting,
    author = {Tao Xie and Jianjun Zhao and Darko Marinov and David Notkin},
    title = {Detecting Redundant Unit Tests for {AspectJ} Programs},
    institution = {University of Washington Department of Computer Science and Engineering },
    year = {2004},
    type = {Technical Report},
    number = {UW-CSE-04-10-03},
    address = {Seattle, WA},
    month = {October},
    url = {http://www.cs.washington.edu/homes/taoxie/publications/UW-CSE-04-10-03.pdf},
}

@TECHREPORT{xie04:automatically,
    author = {Tao Xie and David Notkin},
    title = {Automatically Identifying Special and Common Unit Tests Based on Inferred Statistical Algebraic Abstractions},
    institution = {University of Washington Department of Computer Science and Engineering },
    year = {2004},
    type = {Technical Report},
    number = {UW-CSE-04-08-03},
    address = {Seattle, WA},
    month = {August},
    url = {http://www.cs.washington.edu/homes/taoxie/publications/UW-CSE-04-08-03.pdf},
}


@INPROCEEDINGS{michail05:helping,
    author = {Amir Michail and Tao Xie},
    title = {Helping Users Avoid Bugs in {GUI} Applications},
    booktitle = {Proceedings of the International Conference on Software Engineering (ICSE)},
    month = {May},
    year = {2005},
    pages = {107--116},
    location = {St. Louis, Missouri},
    url = {http://www.cs.washington.edu/homes/taoxie/publications/icse05.pdf},
}

@inproceedings{cadar05:execution,
  author    = {Cristian Cadar and Dawson R. Engler},
  title     = {Execution Generated Test Cases: How to Make Systems Code Crash Itself},
  booktitle = {Proceedings of the International SPIN Workshop on Model Checking Software (SPIN)},
  year      = {2005},
  pages     = {2-23},
  location = {San Francisco, CA},
  month = {August},
}

@inproceedings{sen05:cute,
  author    = {Koushik Sen and Darko Marinov and Gul Agha},
  title     = {{CUTE}: {A} Concolic Unit Testing Engine for {C}},
  booktitle = {Proceedings of the European Software Engineering Conference and the International Symposium on Foundations of Software Engineering (ESEC/FSE)},
  year      = {2005},
  pages     = {263--272},
  location = {Lisbon, Portugal},
  month = {September},
}

@article{daikon,
   author = {M. Ernst and J. Cockrell and W. Griswold and D. Notkin},
   title = {Dynamically discovering likely program invariants to support program evolution},
   journal = {IEEE Transactions on Software Engineering},
   volume = {27},
   number = {2},
   pages = {1--25},
   year = {2001},
}

@TECHREPORT{venolia05:observed,
  author = {G. Venolia and R. DeLine and T. LaToza},
  title = {Software Development at {Microsoft} Observed},
  institution = {Microsoft Research},
  month = {October},
  year = {2005},
  type = {Technical Report},
  number = {MSR-TR-2005-140},
  address = {Redmond, Washington}
}

@TECHREPORT{tillman05:reloaded,
  author = {Nikolai Tillmann and Wolfram Schulte},
  title = {Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution},
  institution = {Microsoft Research},
  month = {November},
  year = {2005},
  type = {Technical Report},
  number = {MSR-TR-2005-153},
  address = {Redmond, Washington}
}

@inproceedings{rutar04:comparison,
  author    = {Nick Rutar and Christian B. Almazan and Jeffrey S. Foster},
  title     = {{A Comparison of Bug Finding Tools for Java}},
  booktitle = {Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE)},
  year      = {2004},
  pages     = {245--256},
  location = {Bretagne, France},
  month = {November},
}

@inproceedings{wagner05:comparing,
  author    = {Stefan Wagner and Jan Jurjens and Claudia Koller and Peter Trischberger},
  title     = {{Comparing Bug Finding Tools with Reviews and Tests}},
  booktitle = {Proceedings of the IFIP TC6/WG 6.1 International Conference on Testing of Communicating Systems (TESTCOM)},
  year      = {2005},
  pages     = {40--55},
  location = {Montreal, Canada},
  month = {May},
}

@inproceedings{zitser04:testing,
 author = {Misha Zitser and Richard Lippmann and Tim Leek},
 title = {Testing static analysis tools using exploitable buffer overflows from open source code},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)},
 year = {2004},
 pages = {97--106},
 location = {Newport Beach, CA},
}

@inproceedings{visser05:test,
  author    = {Willem Visser and Corina S. Pasareanu and Radek Pel{\'a}nek},
  title     = {Test input generation for red-black trees using abstraction.},
  booktitle = {Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  year      = {2005},
  month = {November},
  pages     = {414-417},
  location = {Long Beach, CA},
  }

@inproceedings{visvanathan02:generating,
  author    = {Srinivas Visvanathan and Neelam Gupta},
  title     = {Generating Test Data for Functions with Pointer Inputs.},
  booktitle = {Proceedings of the IEEE International Conference on Automated Software Engineering (ASE)},
  year      = {2002},
  month = {September},
  pages     = {149--160},
  location = {Edinburgh, Scotland},
}


@inproceedings{frankl00:comparison,
 author = {Phyllis G. Frankl and Yuetang Deng},
 title = {Comparison of delivered reliability of branch, data flow and operational testing: A case study},
 booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)},
 year = {2000},
 pages = {124--134},
 location = {Portland, Oregon},
 }

@article{frankl97:alluse,
    author = "Phyllis G. Frankl and Stewart N. Weiss and Cang Hu",
    title = "All-uses versus mutation testing: An experimental comparison of effectiveness",
    journal = "Journal of Systems and Software",
    volume = "38",
    number = "3",
    pages = "235--253",
    year = "1997",
}

@article{duran84:evaluation,
    author = "J. Duran and S. Ntafos",
    title = "An evaluation of random testing",
    journal = "IEEE Transactions on Software Engineering",
    volume = "10",
    number = "4",
    pages = "438--444",
    year = "1984",
}

@article{hamlet90:partition,
    author = "R. G. Hamlet and R. Taylor",
    title = "Partition testing does not inspire confidence",
    journal = "IEEE Transactions on Software Engineering",
    volume = "16",
    number = "12",
    pages = "1402--1411",
    year = "1990",
}

@article{weyuker91:analyzing,
    author = "Elaine J. Weyuker and Bingchiang Jeng",
    title = "Analyzing partition testing strategies",
    journal = "IEEE Transactions on Software Engineering",
    volume = "17",
    number = "7",
    pages = "703--711",
    year = "1991",
}

 @article{newton-method,
 author = {Tjalling J. Ypma},
 title = {Historical development of the Newton-Raphson method},
 journal = {SIAM Rev.},
 volume = {37},
 number = {4},
 year = {1995},
 issn = {0036-1445},
 pages = {531--551},
 doi = {http://dx.doi.org/10.1137/1037125},
 publisher = {Society for Industrial and Applied Mathematics},
 address = {Philadelphia, PA, USA},
 }